ISBN: 9783540554608
*Logic Programming* - First Russian Conference on Logic Programming Irkutsk Russia September 14-18 1990. Second Russian Conference on Logic Programming St. Petersburg Russia September 11-… Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
ISBN: 9783540554608
Logic Programming ab 85.49 € als Taschenbuch: First Russian Conference on Logic Programming Irkutsk Russia September 14-18 1990. Second Russian Conference on Logic Programming St. Petersb… Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming Lecture Notes in Artificial Intelligence 592 - Taschenbuch
1992, ISBN: 3540554602
[EAN: 9783540554608], Gebraucht, sehr guter Zustand, [PU: Springer], Ex-library paperback in very nice condition with the usual markings and attachments., Books
AbeBooks.de GuthrieBooks, Spring Branch, TX, U.S.A. [52069477] [Rating: 5 (von 5)] NOT NEW BOOK. Versandkosten: EUR 64.13 Details... |
ISBN: 3540554602
Logic Programming ab 85.49 € als Taschenbuch: First Russian Conference on Logic Programming Irkutsk Russia September 14-18 1990. Second Russian Conference on Logic Programming St. Petersb… Mehr…
Hugendubel.de Nr. 6902887. Versandkosten:, , DE. (EUR 0.00) Details... |
1992, ISBN: 9783540554608
First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Procee… Mehr…
lehmanns.de Versandkosten:Kein Versand in Ihr Zielland., zzgl. Versandkosten Details... |
ISBN: 9783540554608
*Logic Programming* - First Russian Conference on Logic Programming Irkutsk Russia September 14-18 1990. Second Russian Conference on Logic Programming St. Petersburg Russia September 11-… Mehr…
ISBN: 9783540554608
Logic Programming ab 85.49 € als Taschenbuch: First Russian Conference on Logic Programming Irkutsk Russia September 14-18 1990. Second Russian Conference on Logic Programming St. Petersb… Mehr…
Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming Lecture Notes in Artificial Intelligence 592 - Taschenbuch
1992
ISBN: 3540554602
[EAN: 9783540554608], Gebraucht, sehr guter Zustand, [PU: Springer], Ex-library paperback in very nice condition with the usual markings and attachments., Books
ISBN: 3540554602
Logic Programming ab 85.49 € als Taschenbuch: First Russian Conference on Logic Programming Irkutsk Russia September 14-18 1990. Second Russian Conference on Logic Programming St. Petersb… Mehr…
1992, ISBN: 9783540554608
First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Procee… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Logic Programming
EAN (ISBN-13): 9783540554608
ISBN (ISBN-10): 3540554602
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1992
Herausgeber: Springer Berlin Heidelberg
532 Seiten
Gewicht: 0,795 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-05-05T21:18:19+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-06-14T09:14:33+02:00 (Vienna)
ISBN/EAN: 3540554602
ISBN - alternative Schreibweisen:
3-540-55460-2, 978-3-540-55460-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: voronkov
Titel des Buches: petersburg, irkutsk, logic computer science, logic programming, conference, first, russia, lecture notes artificial intelligence, russian
Daten vom Verlag:
Autor/in: Andrei Voronkov
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Logic Programming - First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings
Verlag: Springer; Springer Berlin
521 Seiten
Erscheinungsjahr: 1992-05-06
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XI, 521 p.
BC; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Automat; Automated Reasoning; Deductive Databases; Deduktive Datenbanken; Logic Programming; Nichtklassische Logik (EDV); Non-classiccal Logics; PROLOG; Programmierung (EDV); Prolog-Programming; Theorembeweisen (Kybern.); automated theorem proving; logic; mathematical logic; theorem proving; Mathematical Logic and Foundations; Computer Science Logic and Foundations of Programming; Programming Techniques; Formal Languages and Automata Theory; Artificial Intelligence; Mathematische Grundlagen; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Künstliche Intelligenz; EA
Real-time memory management for Prolog.- A process semantics of logic programs.- Logical operational semantics of Parlog Part II: Or-Parallelism.- WAM algebras—A mathematical study of implementation Part 2.- Abdugtive systems for non-monotonig reasoning.- Properties of algorithmic operators.- Deep logic program transformation using abstract interpretation.- Objects in a logic programming framework.- Integrity verification in knowledge bases.- On procedural semantics of metalevel negation.- Probabilistic logic programs and their semantics.- Implementation of Prolog as binary definite programs.- Prolog semantics for measuring space consumption.- Or-parallel Prolog with heuristic task distribution.- A WAM compilation scheme.- Safe positive induction in the programming logic TK.- Wam specification for parallel execution on SIMD computer.- On abstracting the procedural behaviour of logic programs.- Treating enhanced entity relationship models in a declarative style.- Processing of ground regular terms in Prolog.- Compiling Flang.- FIDO: Finite domain consistency techniques in logic programming.- A constructive logic approach to database theory.- Abstract syntax and logic programming.- Deduction search with generalized terms.- A simple transformation from Prolog-written metalevel interpreters into compilers and its implementation.- Free deduction: An analysis of “Computations” in classical logic.- Gentzen-type calculi for modal logic S4 with barcan formula.- Logical foundation for logic programming based on first order linear temporal logic.- Logic Programming with Pseudo-Resolution.- Brave: An OR-parallel dialect of Prolog and its application to artificial intelligence.- A declarative debugging environment for DATALOG.- A sequent calculus for a first order lineartemporal logic with explicit time.- A logical-based language for feature specification and transmission control.- Program transformations and WAM-support for the compilation of definite metaprograms.- Some considerations on the logic PFD.- Logic programming with bounded quantifiers.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540470830 Logic Programming (Andrei Voronkov)
< zum Archiv...