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

 
9783540164920: 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)

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

Gebraucht kaufen

Zustand: Gut
720 Seiten ex Library Book / aus...
Diesen Artikel anzeigen

EUR 4,00 für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Suchergebnisse für Third International Conference on Logic Programming:...

Foto des Verkäufers

Goos and Hartmanis:
ISBN 10: 3540164928 ISBN 13: 9783540164920
Gebraucht Taschenbuch

Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Gut. 720 Seiten ex Library Book / aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 1014. Artikel-Nr. 285675

Verkäufer kontaktieren

Gebraucht kaufen

EUR 12,60
Währung umrechnen
Versand: EUR 4,00
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Goos, G. and J. Hartmanis :
Verlag: Berlin Springer, 1986
ISBN 10: 3540164928 ISBN 13: 9783540164920
Gebraucht Broschur

Anbieter: Antiquariat im Kaiserviertel | Wimbauer Buchversand, Dortmund, NRW, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Broschur. Zustand: Gut. 720 S, Kanten berieben / bestossen, papierbedingte Seitenbräunung /// Standort Wimregal GUL-0570 ISBN 3540164928 Sprache: Englisch Gewicht in Gramm: 1020. Artikel-Nr. 131056

Verkäufer kontaktieren

Gebraucht kaufen

EUR 17,40
Währung umrechnen
Versand: EUR 3,00
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Ehud Shapiro
ISBN 10: 3540164928 ISBN 13: 9783540164920
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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. Artikel-Nr. 9783540164920

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Shapiro, Ehud
Verlag: Springer, 1986
ISBN 10: 3540164928 ISBN 13: 9783540164920
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Artikel-Nr. ria9783540164920_new

Verkäufer kontaktieren

Neu kaufen

EUR 61,53
Währung umrechnen
Versand: EUR 5,85
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb