Verwandte Artikel zu Third International Conference on Logic Programming:...
Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings: 225 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
Tercera Conferencia Internacional sobre Programación Lógica: Imperial College of Science and Technology, Londres, Reino Unido, 14-18 de julio de 1986. Actas Tercera Conferencia Internacional sobre Programación Lógica: Imperial College of Science and Technology, Londres, Reino Unido, 14-18 de julio de 1986. Procedimientos
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum2008
- ISBN 10 3540164928
- ISBN 13 9783540164920
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten736
- Kontakt zum HerstellerNicht verfügbar
Neu kaufen
Diesen Artikel anzeigen
EUR 53,49
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Third International Conference on Logic Programming:...
Foto des Verkäufers
Third International Conference on Logic Programming
Verlag:
Springer Berlin Heidelberg, 1986
ISBN 10: 3540164928
ISBN 13: 9783540164920
Gebraucht
Taschenbuch
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Gut. 720 Seiten ex Library Book / aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 1014. Bestandsnummer des Verkäufers 285675
Anzahl: 1 verfügbar
Foto des Verkäufers
Third International Conference on Logic Programming : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings
Anbieter: Antiquariat im Kaiserviertel | Wimbauer Buchversand, Dortmund, NRW, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschur. Zustand: Gut. 720 S, Kanten berieben / bestossen, papierbedingte Seitenbräunung /// Standort Wimregal GUL-0570 ISBN 3540164928 Sprache: Englisch Gewicht in Gramm: 1020. Bestandsnummer des Verkäufers 131056
Anzahl: 1 verfügbar
Foto des Verkäufers
Third International Conference on Logic Programming : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The role of logic programming in the Fifth Generation Computer Project.- An abstract machine for restricted AND-parallel execution of logic programs.- Efficient management of backtracking in AND-Parallelism.- An intelligent backtracking algorithm for parallel execution of logic programs.- Delta Prolog: A distributed backtracking extension with events.- OLD resolution with tabulation.- Logic programs and alternation.- Intractable unifiability problems and backtracking.- On the complexity of unification sequences.- How to invent a Prolog machine.- A sequential implementation of Parlog.- A GHC abstract machine and instruction set.- A Prolog processor based on a pattern matching memory device.- An improved version of Shapiro's model inference system.- A framework for ICAI systems based on inductive inference and logic programming.- Rational debugging in logic programming.- Using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning.- Some issues and trends in the semantics of logic programming.- Parallel logic programming languages.- P-Prolog: A parallel logic language based on exclusive relation.- Making exhaustive search programs deterministic.- Compiling OR-parallelism into AND-parallelism.- Shared memory execution of committed-choice languages.- Logic program semantics for programming with equations.- On the semantics of logic programming languages.- Towards a formal semantics for concurrent logic programming languages.- Design of a Prolog-based machine translation system.- Parallel logic programming for numeric applications.- Sequential and concurrent deterministic logic grammars.- A parallel parsing system for natural language analysis.- Equivalences of logic programs.- Qualified answers and their application to transformation.- Procedures in Horn-clause programming.- Higher-order logic programming.- Abstract interpretation of Prolog programs.- Verifleation of Prolog programs using an extension of execution.- Detection and optimization of functional computations in Prolog.- Control of logic program execution based on the functional relation.- Declarative graphics.- Test-pattern generation for VLSI circuits in a Prolog environment.- Using Prolog to represent and reason about protein structure.- A New approach for introducing Prolog to naive users.- Prolog programming environments: Architecture and implementation.- Design overview of the NAIL! System.- A superimposed codeword indexing scheme for very large Prolog databases.- Interfacing Prolog to a persistent data store.- A general model to implement DIF and FREEZE.- Cyclic tree traversal.- Completeness of the SLDNF-resolution for a class of logic programs.- Choices in, and limitations of, logic programming.- Negation and quantifiers in NU-Prolog.- Gracefully adding negation and disjunction to Prolog.- Memory performance of Lisp and Prolog programs.- The design and implementation of a high-speed incremental portable Prolog compiler.- Compiler optimizations for the WAM.- Fast decompilation of compiled Prolog clauses.- Logic continuations.- Cut & Paste ¿ defining the impure primitives of Prolog.- Tokio: Logic programming language based on temporal logic and its compilation to Prolog.- The OR-forest description for the execution of logic programs. Bestandsnummer des Verkäufers 9783540164920
Anzahl: 1 verfügbar
Foto des Verkäufers
Third International Conference on Logic Programming
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. The role of logic programming in the Fifth Generation Computer Project.- An abstract machine for restricted AND-parallel execution of logic programs.- Efficient management of backtracking in AND-Parallelism.- An intelligent backtracking algorithm for parall. Bestandsnummer des Verkäufers 4883073
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings (Lecture Notes in Computer Science, 225)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540164920_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Third International Conference on Logic Programming
Verlag:
Springer Berlin Heidelberg Jun 1986, 1986
ISBN 10: 3540164928
ISBN 13: 9783540164920
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The role of logic programming in the Fifth Generation Computer Project.- An abstract machine for restricted AND-parallel execution of logic programs.- Efficient management of backtracking in AND-Parallelism.- An intelligent backtracking algorithm for parallel execution of logic programs.- Delta Prolog: A distributed backtracking extension with events.- OLD resolution with tabulation.- Logic programs and alternation.- Intractable unifiability problems and backtracking.- On the complexity of unification sequences.- How to invent a Prolog machine.- A sequential implementation of Parlog.- A GHC abstract machine and instruction set.- A Prolog processor based on a pattern matching memory device.- An improved version of Shapiro's model inference system.- A framework for ICAI systems based on inductive inference and logic programming.- Rational debugging in logic programming.- Using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning.- Some issues and trends in the semantics of logic programming.- Parallel logic programming languages.- P-Prolog: A parallel logic language based on exclusive relation.- Making exhaustive search programs deterministic.- Compiling OR-parallelism into AND-parallelism.- Shared memory execution of committed-choice languages.- Logic program semantics for programming with equations.- On the semantics of logic programming languages.- Towards a formal semantics for concurrent logic programming languages.- Design of a Prolog-based machine translation system.- Parallel logic programming for numeric applications.- Sequential and concurrent deterministic logic grammars.- A parallel parsing system for natural language analysis.- Equivalences of logic programs.- Qualified answers and their application to transformation.- Procedures in Horn-clause programming.- Higher-order logic programming.- Abstract interpretation of Prolog programs.- Verifleation of Prolog programs using an extension of execution.- Detection and optimization of functional computations in Prolog.- Control of logic program execution based on the functional relation.- Declarative graphics.- Test-pattern generation for VLSI circuits in a Prolog environment.- Using Prolog to represent and reason about protein structure.- A New approach for introducing Prolog to naive users.- Prolog programming environments: Architecture and implementation.- Design overview of the NAIL! System.- A superimposed codeword indexing scheme for very large Prolog databases.- Interfacing Prolog to a persistent data store.- A general model to implement DIF and FREEZE.- Cyclic tree traversal.- Completeness of the SLDNF-resolution for a class of logic programs.- Choices in, and limitations of, logic programming.- Negation and quantifiers in NU-Prolog.- Gracefully adding negation and disjunction to Prolog.- Memory performance of Lisp and Prolog programs.- The design and implementation of a high-speed incremental portable Prolog compiler.- Compiler optimizations for the WAM.- Fast decompilation of compiled Prolog clauses.- Logic continuations.- Cut & Paste ¿ defining the impure primitives of Prolog.- Tokio: Logic programming language based on temporal logic and its compilation to Prolog.- The OR-forest description for the execution of logic programs. 736 pp. Englisch. Bestandsnummer des Verkäufers 9783540164920
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Third International Conference on Logic Programming : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceeding
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540164920
Anzahl: 10 verfügbar
Beispielbild für diese ISBN
Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings (Lecture Notes in Computer Science, 225)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020161052
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings (Lecture Notes in Computer Science, 225)
Anbieter: HPB-Red, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Bestandsnummer des Verkäufers S_331815744
Anzahl: 1 verfügbar