धन उगाहना 15 सितंबर, 2024 – 1 अक्टूबर, 2024 धन उगाहने के अभियान के बारे में

Relational Programming in miniKanren: Techniques,...

Main
Computers - Programming
Relational Programming in miniKanren:...

Relational Programming in miniKanren: Techniques, Applications, and Implementations

William E. Byrd

0 / 3.5

यह पुस्तक आपको कितनी अच्छी लगी?

फ़ाइल की गुणवत्ता क्या है?

पुस्तक की गुणवत्ता का मूल्यांकन करने के लिए यह पुस्तक डाउनलोड करें

डाउनलोड की गई फ़ाइलों की गुणवत्ता क्या है?

श्रेणियाँ:

Computers - Programming

साल:

2009

प्रकाशन:

Indiana University, ProQuest Dissertations Publishing

भाषा:

english

पृष्ठ:

297

फ़ाइल:

PDF, 1.12 MB

IPFS:

,

english, 2009

ऑनलाइन पढ़ें

में रूपांतरण जारी है

में रूपांतरण विफल रहा

आप के लिए दिलचस्प हो सकता है

Nils M Holm — Logic Programming in Scheme

William E. Byrd, Daniel P. Friedman — αKanren A Fresh Name in Nominal Logic Programming

Chris Mungall (auth.), Patricia M. Hill, David S. Warren (eds.) — Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings

George F. Luger, William A. Stubblefield — AI algorithms, data structures, and idioms in Prolog, Lisp, and Java

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

Daniel P. Friedman; William E. Byrd; Oleg Kiselyov; Jason Hemann — The Reasoned Schemer

Krzysztof Apt (ed.) — Logic Programming: The Joint [9th] International Conference & Symposium

Koichi Furukawa (ed.) — Logic programming: proceedings of the 8 international conference

Daniel P. Friedman, William E. Byrd, Oleg Kiselyov — The Reasoned Schemer

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

Giorgio Levi, Maurizio Martelli (ed.) — Logic programming: proceedings of the 6 international conference

Leon S. Sterling — Logic Programming: The 12th International Conference

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

Manuel V. Hermenegildo, Pedro Lopez-Garcia (editors) — Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Greg Morrisett (auth.), Catuscia Palamidessi (eds.) — Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings

Paul Hudak (auth.), Bharat Jayaraman (eds.) — Practical Aspects of Declarative Languages: 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004. Proceedings

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

Monica S. Lam (auth.), Sandro Etalle, Mirosław Truszczyński (eds.) — Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

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

W. Bibel, D. Korn, C. Kreitz, F. Kurucz (auth.), Norbert E. Fuchs (eds.) — Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings

Claude Kirchner, Patrick Viry (auth.), Pierre Deransart, Jan Maluszyński (eds.) — Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings

Luís Moniz Pereira, Luis Caires, José Alferes (auth.), E. Lamma, P. Mello (eds.) — Extensions of Logic Programming: Third International Workshop, ELP '92 Bologna, Italy, February 26–28, 1992 Proceedings

W. Bibel, D. Korn, C. Kreitz, F. Kurucz (auth.), Norbert E. Fuchs (eds.) — Logic Program Synthesis and Transformation: 7th International Workshop, LOPSTR’97 Leuven, Belgium, July 10–12, 1997 Proceedings

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

Vítor Santos Costa (auth.), Maria Garcia de la Banda, Enrico Pontelli (eds.) — Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

Chris Mungall (auth.), Patricia M. Hill, David S. Warren (eds.) — Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings

Manuel Carro, Ricardo Peña — Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings (Lecture Notes in ... / Programming and Software Engineering)

सबसे उपयोगी शब्द