Articoli correlati a Computational Logic: Essays in Honor of Alan Robinson
Sinossi
Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics.
Alan Robinson is currently the University Professor at Syracuse University.
Contents: Inference. Subsumption, A Sometimes Undervalued Procedure, Larry Wos, Ross Overbeek, and Ewing Lusk. The Markgraf Karl Refutation Procedure, Hans Jurgen Ohlbach and Jorg H. Siekmann. Modal Logic Should Say More than it Does, Melvin Fitting. Interactive Proof Presentation, W. W. Bledsoe. Intelligent Backtracking Revisited, Maurice Bruynooghe. A Science of Reasoning, Alan Bundy. Inductive Inference of Theories from Facts, Ehud Y. Shapiro. Equality. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification, Jean-Pierre Jouannaud and Claude Kirchner. Disunification: A Survey, Hubert Comon. A Case Study of the Completion Procedure: Proving Ring Commutativity Problems, Deepak Kapur and Hantao Zhang. Computations in Regular Rewriting Systems I and II, Girard Huet and JeanJacques Levy. Unification and ML Type Reconstruction, Paris Kanellakis, Harry Mairson, and John Mitchell. Automatic Dimensional Analysis, Mitchell Wand. Logic Programming. Logic Programming Schemes and Their Implementations, Keith Clark. A Near-Horn Prolog for Compilation, Donald Loveland and David Reed. Unfold/Fold Transformations of Logic Programs, P. A. Gardner and J. C. Shepherdson. An Algebraic Representation of Logic Program Computations, Andrea Corradini and Ugo Montanari. Theory of Disjunctive Logic Programs, Jack Minker, Arcot Rajasekar, and Jorge Lobo. Bottom-Up Evaluation of Logic Programs, Jeffrey Naughton and Raghu Ramakrishnan. Absys, the First Logic Programming Language: A View of the Inevitability of Logic Programming, E. W. Elcock.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description
Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreMit Pr
- Data di pubblicazione1991
- ISBN 10 0262121565
- ISBN 13 9780262121569
- RilegaturaCopertina rigida
- LinguaInglese
- Numero di pagine736
- RedattorePlotkin Gordin
- Contatto del produttorenon disponibile
Compra usato
Condizioni: quasi ottimoAncien livre de bibliothèque. Salissures...
Visualizza questo articolo
EUR 16,76
EUR 8,00 per la spedizione da Francia a Italia
Destinazione, tempi e costi
Risultati della ricerca per Computational Logic: Essays in Honor of Alan Robinson
Foto dell'editore
Computational Logic: Essays in Honor of Alan Robinson
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
No jacket. Condizione: Bon. Ancien livre de bibliothèque. Salissures sur la tranche. Sans jaquette. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Stains on the edge. No dust jacket. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-731-971
Quantità: 1 disponibili
Foto dell'editore
Computational Logic: Essays in Honor of Alan Robinson
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Couverture différente. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Different cover. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-554-115
Quantità: 1 disponibili
Foto dell'editore
Computational Logic: Essays in Honor of Alan Robinson.
Da: Antiquariat Bernhardt, Kassel, Germania
Valutazione del venditore 5 su 5 stelle
Leinen. Condizione: Sehr gut. Zust: Gutes Exemplar. Mit original Schutzumschlag. Mit Vorbesitzereintrag. VIII, 727 Seiten, Englisch 1610g. Codice articolo 493667
Quantità: 1 disponibili
Foto dell'editore
Computational Logic: Essays in Honor of Alan Robinson
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 3.6. Codice articolo G0262121565I3N10
Quantità: 1 disponibili
Foto dell'editore
Computational Logic: Essays in Honor of Alan Robinson
Da: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: 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! Codice articolo S_382597331
Quantità: 1 disponibili