LIBRISTO
LIBROAMANTO
mandatory
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 DPD courier 3.99 DPD point 2.99

Algebraic and Logic Programming

4th International Conference, Madrid, Spain, September 14-16, 1994. Proceedings

Language EnglishEnglish
Book Paperback
Book Algebraic and Logic Programming Giorgio Levi
Libristo code: 05274425
Publishers Springer, Berlin, November 1993
This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logi... Full description
? points 132 b
53.79 VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns


Customers also purchased


Parfum d'automne Kleypas / Book Paperback
common.buy 10.49
Carnet Blanc, Toucan, Dessin 18e Siecle Martinet-F / Book Paperback
common.buy 16.09
Tapja tasu Hunter Cara / Book Paperback
common.buy 59.69
České pohádky pro malé děti Eva Mrázková / Book Hardback
common.buy 11.39
Poznáváme Itálie Angela Corrias / Book Paperback
common.buy 11.19
Peče celá země 2 Markéta Poláčková / Book Hardback
common.buy 15.79
Amari a Zlověstné Divy B. B. Alston / Book Hardback
common.buy 18.09
Vaazha Mudiyathavargal / Book Paperback
common.buy 10.39
Uchop kopřivu Uršula Flemingová / Book Paperback
common.buy 5.59
Příběhy nových počátků Štěpán Hájek / Book binding.
common.buy 3.59
Der reichste Mann der Weltgeschichte Greg Steinmetz / Book Hardback
common.buy 26.99
Sokrates Günter Figal / Book Paperback
common.buy 12.90
Essai Sur Le Catarrhe Suffocant CHARDON-P / Book Paperback
common.buy 16.09
25 Coloriages D Livres Pour Soi / Book Paperback
common.buy 12.39

This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP '94), held in Madrid, Spain in September 1994.Like the predecessor conferences in this series, ALP '94 succeeded in strengthening the cross-fertilization between algebraic techniques and logic programming. Besides abstracts of three invited talks, the volume contains 17 full revised papers selected from 41 submissions; the papers are organized into sections on theorem proving, narrowing, logic programming, term rewriting, and higher-order programming.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

You might also be interested in


Estimation and Control with Quantized Measurements Renwick E. Curry / Book Paperback
common.buy 24.69
Rule-Based Evolutionary Online Learning Systems Martin V. Butz / Book Hardback
common.buy 107.29
In Vitro Embryogenesis in Higher Plants Maria Antonietta Germana / Book Hardback
common.buy 157.49
Short Stirling Units of World War 2 Jonathan Falconer / Book Paperback
common.buy 21.49
MUSIC WRITING BOOK LANDSCAPE 6 STAVE Edition Peters / Book Paperback
common.buy 5.19
Supreme Clientele Ashley & JaQuavis / Audiobook MP3
common.buy 20.89
Sound and Scent in the Garden D. Fairchild Ruggles / Book Hardback
common.buy 79.09
Citizen Cardenas Steve Cole / Book Paperback
common.buy 15.49
Servant of the Bones Anne Rice / Book Hardback
common.buy 21.59
Top
Jonathan Livingston Seagull Richard Bach / Book Paperback
common.buy 14.29
Neuroblastoma M. A. Hayat / Book Paperback
common.buy 160.89
World of Fallout Howard / Book Hardback
common.buy 79.89
Slow Dance Rowell / Book Paperback
common.buy 25.79
Bedpans and Blessings Robin Walker / Book Paperback
common.buy 20.09
The Way of the Samurai Inazo Nitobe / Book Hardback
common.buy 20.49
New
Great Year / Book Paperback
common.buy 126.49
First Russian Reader Volume 2 VADIM ZUBAKHIN / Book Paperback
common.buy 23.99
Cult of the Mother Goddess E. O. James / Book Paperback
common.buy 18.89
Witchcraft and Demonology in Hungary and Transylvania Gábor Klaniczay / Book Paperback
common.buy 165.79
Top
Devil in a Coma Mark Lanegan / Book Hardback
common.buy 12.29

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?