Programming in Tabled Prolog (XSB)

Main
Programming in Tabled Prolog (XSB)

Programming in Tabled Prolog (XSB)

D. S. Warren

0 / 0

Koliko vam se sviđa ova knjiga?

Kakav je kvalitet fajla?

Preuzmite knjigu radi procene kvaliteta

Kakav je kvalitet preuzetih fajlova?

Godina:

2013

Jezik:

english

ISBN:

F074154D-6645-4738-B1A0-1D2B64384948

Fajl:

AZW3 , 539 KB

IPFS:

,

english, 2013

Preuzeti (azw3, 539 KB)

Konvertovanje u je u toku

Konvertovanje u nije uspešno

Možda će vas zanimati

D. S. Warren — Programming in Tabled Prolog (XSB)

D. S. Warren — Programming in Tabled Prolog (XSB)

D. S. Warren — Programming in Tabled Prolog (XSB)

David S. Warren — Programming in Tabled Prolog (XSB Prolog)

D. S. Warren — Programming in Tabled Prolog (XSB)

Lee Naish (auth.) — Negation and Control in Prolog

Uwe Kastens (auth.), Maurice Bruynooghe, Jaan Penjam (eds.) — Progamming Language Implementation and Logic Programming: 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25–27, 1993 Proceedings

— The Art of Prolog

Vijay A. Saraswat, Kazunori Ueda (ed.) — Logic programming: proceedings of the 1991 international symposium

Yves Deville — Logic Programming: Systematic Program Development (International Series in Logic Programming)

Jean-Louis Lassez (ed.) — Logic programming: proceedings 4th international conference, vol.1

Jean-Louis Lassez (ed.) — Logic programming: proceedings 4th international conference, vol.2

Leon Sterling, Ehud Shapiro — The art of Prolog: advanced programming techniques

Pascal Van Hentenryck (eds.) — Logic programming : proceedings of the eleventh International Conference on Logic Programming

Saumya Debray, Manuel Hermenegildo (ed.) — Logic programming: proceedings of the 1990 North American conference

Kowalski R.A., Bowen K.A. (eds.) — Logic programming: proceedings 5th international conference, vol.1

Ewing L. Lusk, Ross A. Overbeek, (eds.) — Logic programming: proc. North American conference 1989, vol.1

Michael Maher — Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming

Leon Sterling; Ehud Shapiro — The Art of Prolog: Advanced Programming Techniques

David H. D. Warren, Peter Szeredi (ed.) — Logic Programming: Proceedings of the The 7th International Conference

Peter Flach — Simply Logical: Intelligent Reasoning by Example

Matthews C. — An Introduction to Natural Language Processing Through Prolog

Symposium on Logic Programming (ed.) — Proceedings 1987 Symposium on Logic Programming

Michael Kifer, Yanhong Annie Liu, (eds.) — Declarative Logic Programming: Theory, Systems, and Applications

Michael Kifer, Yanhong Annie Liu, (eds.) — Declarative Logic Programming: Theory, Systems, and Applications

Lee Naish (auth.) — Negation and Control in Prolog

Nachum Dershowitz (auth.), Bart Demoen, Vladimir Lifschitz (eds.) — Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Alain Colmerauer (auth.), Philippe Codognet (eds.) — Logic Programming: 17thInternational Conference, ICLP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings

Paolo Baldan, Paolo Mancarella, Alessandra Raffaetà , Franco Turini (auth.), Antonis C. Kakas, Fariba Sadri (eds.) — Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part II

Michael Hanus (auth.), Maurice Bruynooghe, Martin Wirsing (eds.) — Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

Michael Leuschel (auth.), Maurizio Proietti (eds.) — Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings

John Hughes (auth.), Michael Hanus (eds.) — Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Chitta Baral, Juraj Dzifcak, Luis Tari (auth.), Véronica Dahl, Ilkka Niemelä (eds.) — Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings

D. S. Warren — Programming in Tabled Prolog (XSB)

Najčešći pojmovi