Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings - Taschenbuch
2009, ISBN: 364202260X
[EAN: 9783642022609], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], INTUITIONISTIC LOGIC,MONADIC LOGIC,MODAL LOGIC,DESCRIPTION LOGIC,LAMBDA CALCULUS,NATURAL LAN,EPISTEMIC LO… Mehr…
ZVAB.com Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)] NOT NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings 2009 - gebrauchtes Buch
2009, ISBN: 9783642022609
2009 Neubindung, Aufl. 2009 5462360/12 Versandkostenfreie Lieferung intuitionistic logic,monadic logic,modal logic,description logic,lambda calculus,natural lan,epistemic logic,algorithm … Mehr…
buchfreund.de |
Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings 2009 - gebrauchtes Buch
2009, ISBN: 9783642022609
2009 Neubindung, Aufl. 2009 5462360/12 Versandkostenfreie Lieferung intuitionistic, logic, monadic, modal, description, lambda, calculus, natural, epistemic, algorithm, analysis, proble… Mehr…
buchfreund.de |
Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings - gebrauchtes Buch
2009, ISBN: 9783642022609
[PU: Springer Berlin], Neubindung, Aufl. 2009 5462360/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2009, Banküberweisung, Kreditkarte, PayPal, Klarna-Sofortüberweisung, … Mehr…
booklooker.de |
Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings - gebrauchtes Buch
2009, ISBN: 9783642022609
[PU: Springer Berlin], Neubindung, Aufl. 2009 5462360/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2009, Banküberweisung, PayPal, Klarna-Sofortüberweisung, International… Mehr…
booklooker.de |
Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings - Taschenbuch
2009, ISBN: 364202260X
[EAN: 9783642022609], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], INTUITIONISTIC LOGIC,MONADIC LOGIC,MODAL LOGIC,DESCRIPTION LOGIC,LAMBDA CALCULUS,NATURAL LAN,EPISTEMIC LO… Mehr…
Ono, Hiroakira, Makoto Kanazawa und Ruy de Queiroz:
Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings 2009 - gebrauchtes Buch2009, ISBN: 9783642022609
2009 Neubindung, Aufl. 2009 5462360/12 Versandkostenfreie Lieferung intuitionistic logic,monadic logic,modal logic,description logic,lambda calculus,natural lan,epistemic logic,algorithm … Mehr…
Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings 2009 - gebrauchtes Buch
2009
ISBN: 9783642022609
2009 Neubindung, Aufl. 2009 5462360/12 Versandkostenfreie Lieferung intuitionistic, logic, monadic, modal, description, lambda, calculus, natural, epistemic, algorithm, analysis, proble… Mehr…
Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings - gebrauchtes Buch
2009, ISBN: 9783642022609
[PU: Springer Berlin], Neubindung, Aufl. 2009 5462360/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2009, Banküberweisung, Kreditkarte, PayPal, Klarna-Sofortüberweisung, … Mehr…
Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings - gebrauchtes Buch
2009, ISBN: 9783642022609
[PU: Springer Berlin], Neubindung, Aufl. 2009 5462360/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2009, Banküberweisung, PayPal, Klarna-Sofortüberweisung, International… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Logic, Language, Information and Computation
EAN (ISBN-13): 9783642022609
ISBN (ISBN-10): 364202260X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2009
Herausgeber: Springer Berlin
407 Seiten
Gewicht: 0,649 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2008-11-23T23:31:42+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-25T11:31:22+01:00 (Berlin)
ISBN/EAN: 9783642022609
ISBN - alternative Schreibweisen:
3-642-02260-X, 978-3-642-02260-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: kanazawa, makoto, queiroz, kana, ruy
Titel des Buches: artificial japan, language and information, lecture notes computer science, logic computer science, computation logic, proceedings international workshop, tokyo
Daten vom Verlag:
Autor/in: Hiroakira Ono; Makoto Kanazawa; Ruy de Queiroz
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Logic, Language, Information and Computation - 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings
Verlag: Springer; Springer Berlin
409 Seiten
Erscheinungsjahr: 2009-05-27
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XI, 409 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Ehrenfeucht-Fraisse; Gentzen; Gödel logic; arrow calculus; categorial grammers; cut elimination; description logic; epistemic logic; first-order logic; forcing; intuitionistic logic; lambda calculus; logic grammers; modal logic; monadic logic; natural lan; algorithm analysis and problem complexity; Artificial Intelligence; Theory of Computation; Algorithms; Formal Languages and Automata Theory; Mathematics of Computing; Discrete Mathematics in Computer Science; Theoretische Informatik; Algorithmen und Datenstrukturen; Mathematik für Informatiker; Diskrete Mathematik; EA
Tutorials and Invited Talks.- A Characterisation of Definable NP Search Problems in Peano Arithmetic.- Algebraic Valuations as Behavioral Logical Matrices.- Query Answering in Description Logics: The Knots Approach.- Mathematical Logic for Life Science Ontologies.- Recognizability in the Simply Typed Lambda-Calculus.- Logic-Based Probabilistic Modeling.- Contributed Papers.- Completions of Basic Algebras.- Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization.- Observational Completeness on Abstract Interpretation.- SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability.- Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points.- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment.- On-the-Fly Macros.- Abductive Logic Grammars.- On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar.- Observational Effort and Formally Open Mappings.- Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus.- Property Driven Three-Valued Model Checking on Hybrid Automata.- Team Logic and Second-Order Logic.- Ludics and Its Applications to Natural Language Semantics.- Spoilt for Choice: Full First-Order Hierarchical Decompositions.- Classic-Like Analytic Tableaux for Finite-Valued Logics.- A Duality for Algebras of Lattice-Valued Modal Logic.- An Independence Relation for Sets of Secrets.- Expressing Extension-Based Semantics Based on Stratified Minimal Models.- Deep Inference in Bi-intuitionistic Logic.- : An Action-Based Logic for Reasoning about Contracts.- Ehrenfeucht-Fraïssé Games on Random Structures.- Sound and Complete Tree-Sequent Calculus for Inquisitive Logic.- The ArrowCalculus as a Quantum Programming Language.- Knowledge, Time, and Logical Omniscience.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030888527 Logic Language Information and Computation (Alexandra Silva)
- 9783030888527 Logic Language Information and Computation (Alexandra Silva)
- 9783540734451 Logic, Language, Information and Computation (Daniel Leivant; Ruy de Queiroz)
- 9783662529201 Logic, Language, Information, and Computation (Jouko Väänänen; Åsa Hirvonen; Ruy de Queiroz)
- 9783662529218 Logic, Language, Information, and Computation (Åsa Hirvonen, Jouko Väänänen, Ruy de Queiroz)
- 9783662553855 Logic, Language, Information, and Computation (Juliette Kennedy; Ruy J.G.B. de Queiroz)
< zum Archiv...