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
DPD courier 4.99 GLS courier 11.49

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 125 b
51.63
In stock at our supplier Shipping in 5-8 days

30-day return policy


Customers also purchased


Peče celá země 2 Markéta Poláčková / Book Hardback
common.buy 15.15
Amari a Zlověstné Divy B. B. Alston / Book Hardback
common.buy 17.27
Poznáváme Itálie Angela Corrias / Book Paperback
common.buy 10.70
Tapja tasu Hunter Cara / Book Paperback
common.buy 57.08
Parfum d'automne Kleypas / Book Paperback
common.buy 10.20
České pohádky pro malé děti Eva Mrázková / Book Hardback
common.buy 10.80
Uchop kopřivu Uršula Flemingová / Book Paperback
common.buy 5.35
Affordable
Didactique du français : Claude Richerme-Manchet / Book Paperback
common.buy 14.84
25 Coloriages D Livres Pour Soi / Book Paperback
common.buy 11.91
Essai Sur Le Catarrhe Suffocant CHARDON-P / Book Paperback
common.buy 15.55
Carnet Blanc, Toucan, Dessin 18e Siecle Martinet-F / Book Paperback
common.buy 15.55
Sokrates Günter Figal / Book Paperback
common.buy 11.71
Der reichste Mann der Weltgeschichte Greg Steinmetz / Book Hardback
common.buy 22.83
Příběhy nových počátků Štěpán Hájek / Book binding.
common.buy 3.43

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


Rule-Based Evolutionary Online Learning Systems Martin V. Butz / Book Hardback
common.buy 102.86
Estimation and Control with Quantized Measurements Renwick E. Curry / Book Paperback
common.buy 23.23
MUSIC WRITING BOOK LANDSCAPE 6 STAVE Edition Peters / Book Paperback
common.buy 4.94
Charlemont William Gilmore Simms / Book Paperback
common.buy 49.00
Bedpans and Blessings Robin Walker / Book Paperback
common.buy 19.29
Supreme Clientele Ashley & JaQuavis / Audiobook MP3
common.buy 20.10
Top
Jonathan Livingston Seagull Richard Bach / Book Paperback
common.buy 13.53
Servant of the Bones Anne Rice / Book Hardback
common.buy 20.50
Citizen Cardenas Steve Cole / Book Paperback
common.buy 14.84
Sound and Scent in the Garden D. Fairchild Ruggles / Book Hardback
common.buy 76.49
Top
Devil in a Coma Mark Lanegan / Book Hardback
common.buy 11.51
Speaking the Other Self Victoria Aarons / Book Paperback
common.buy 41.93
Short Stirling Units of World War 2 Jonathan Falconer / Book Paperback
common.buy 20.50
Neuroblastoma M. A. Hayat / Book Paperback
common.buy 154.20
First Russian Reader Volume 2 VADIM ZUBAKHIN / Book Paperback
common.buy 23.23
Cult of the Mother Goddess E. O. James / Book Paperback
common.buy 17.88
Top
Psychoanalytic Supervision Nancy McWilliams / Book Hardback
common.buy 61.63
Witchcraft and Demonology in Hungary and Transylvania Gábor Klaniczay / Book Paperback
common.buy 159.15

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