Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
PageMenu
-
Hauptmenü
-
Suchmenü
Einfache Suche
.
Erweiterte Suche
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Neuerwerbungsliste nach Gruppen
.
Sortierreihenfolge
.
Benutzerdienste
Nutzeranmeldung
.
Mein Konto
.
Erwerbungsvorschlag
.
Fernleihe
.
Vormerkung
.
Verlängerung
.
Weitere Recherchemöglichkeiten
Datenbankinfosystem (DBIS)
.
Karlsruher virtueller Katalog (KVK)
.
Regensburger Systematik (RVK)
.
Elektronische Zeitschriften (EZB)
.
Zeitschriftendatenbank (ZDB)
.
Sitzung beenden
Katalog verlassen
.
Homepage WHZ
.
Hochschulbibliothek
.
© LIBERO v6.4.1sp240211
Page content
Sie befinden sich hier
:
Katalogdatenanzeige
Katalogdatenanzeige
Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
.
Bookmark für diesen Satz setzen
Katalogdatensatz500244467
.
.
LibraryThing
.
Kataloginformation
Katalogdatensatz500244467
.
Kataloginformation
Feldname
Details
Vorliegende Sprache
eng
ISBN
978-3-662-54068-8
Name
Ghosh, Sujata ¬[Hrsg.]¬
Prasad, Sanjiva ¬[Hrsg.]¬
Name ANZEIGE DER KETTE
Prasad, Sanjiva ¬[Hrsg.]¬
T I T E L
Logic and Its Applications
Zusatz zum Titel
7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Verlagsort
Berlin, Heidelberg
Verlag
Springer
Erscheinungsjahr
2017
2017
Umfang
Online-Ressource (X, 239 p. 28 illus, online resource)
Reihe
Lecture Notes in Computer Science ; 10119
Lecture notes in computer science
Band
10119
Titelhinweis
Druckausg.ISBN: 978-3-662-54068-8
Printed editionISBN: 978-3-662-54068-8
ISBN
ISBN 978-3-662-54069-5
Klassifikation
COM051010
*03-06
03Bxx
68T27
00B25
UYA
MAT018000
005.131
QA8.9-QA10.3
Kurzbeschreibung
This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017. The volume contains 13 full revised papers along with 4 invited talks presented at the conference. The aim of this conference series is to bring together researchers from a wide variety of fields in which formal logic plays a significant role. Areas of interest include mathematical and philosophical logic, computer science logic, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, and the relationship between logic and other branches of knowledge. Of special interest are studies in systems of logic in the Indian tradition, and historical research on logic
2. Kurzbeschreibung
Conversation and Games -- Ramsey Theory on Trees and Applications -- Automata, Logic and Games for the Lambda Calculus -- Semantics and Proof Theory of the Epsilon Calculus -- Neighbourhood Contingency Bisimulation -- The Complexity of Finding Read-Once NAE-Resolution Refutations -- Knowing Values and Public Inspection -- Random Models for Evaluating Efficient Büchi Universality Checking -- A Substructural Epistemic Resource Logic -- Deriving Natural Deduction Rules from Truth Tables -- A Semantic Analysis of Stone and dual Stone Negations with Regularity -- Achieving while maintaining: A logic of knowing how with intermediate constraints -- Peirce’s Sequent Proofs of Distributivity -- On Semantic Gamification -- Ancient Indian Logic and Analogy -- Definability of Recursive Predicates in the Induced Subgraph Order -- Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic
1. Schlagwortkette
Mathematische Logik
ANZEIGE DER KETTE
Mathematische Logik
SWB-Titel-Idn
482168668
Signatur
Springer E-Book
Bemerkungen
Elektronischer Volltext - Campuslizenz
Elektronische Adresse
$uhttp://dx.doi.org/10.1007/978-3-662-54069-5
Internetseite / Link
Volltext
Siehe auch
Cover
Siehe auch
Inhaltstext
.
ISBD-Anzeige
Katalogdatensatz500244467
.
Kategorien-Anzeige
Katalogdatensatz500244467
.
Verwandte Werke
Katalogdatensatz500244467
.
Bände anzeigen
Katalogdatensatz500244467
.
Titel zur Titelsammlung hinzufügen
Katalogdatensatz500244467
.
Kataloginformation500244467
Datensatzanfang
.
Kataloginformation500244467
Seitenanfang
.
Titel vormerken
Katalogdatensatz500244467
Vollanzeige Katalogdaten
Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.
Im Bereich
Kataloginformation
werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.
Der Bereich
Exemplarinformationen
enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche
Suche nach