Αποτελέσματα για "Logic Programming."

Αποτελέσματα για "Logic Programming." Εμφανίζονται 1-13 από 13 Zend_Feed_Writer 2 (http://framework.zend.com) http://okeanos.lib.unipi.gr/Search/Results?lookfor=%22Logic+Programming.%22&type=Subject&sort=last_indexed+desc&limit=50 13 0 50 The Godel Programming Language / Sat, 01 Jan 1994 15:31:45 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11611 http://okeanos.lib.unipi.gr/Record/1%2F11611 Hill, Patricia. Book 1994 Hill, Patricia. 0 Inductive logic programming: from machine learning to software engineering / Sun, 01 Jan 1995 15:31:45 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11637 http://okeanos.lib.unipi.gr/Record/1%2F11637 Bergadamo, Francesco. Book 1995 Bergadamo, Francesco. 0 Logic program synthesis and transformation. International workshop, LOPSTR (6th:1996:Stockholm, Sweden), August 28-30, 1996: proceedings/ Wed, 01 Jan 1997 15:31:45 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11823 http://okeanos.lib.unipi.gr/Record/1%2F11823 Book 1997 0 Analysis and verification of multiple-agent languages (5th:Stockholm, Sweden:1996), June 24-26 1996: workshop, selected papers/ Wed, 01 Jan 1997 15:31:45 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11833 http://okeanos.lib.unipi.gr/Record/1%2F11833 Book 1997 0 Computing in horn clause theories/ Fri, 01 Jan 1988 15:31:45 +0200 http://okeanos.lib.unipi.gr/Record/1%2F11834 http://okeanos.lib.unipi.gr/Record/1%2F11834 Padawitz, Peter. Book 1988 Padawitz, Peter. 0 Logic programming : formal methods and practical applications / Sun, 01 Jan 1995 15:31:45 +0200 http://okeanos.lib.unipi.gr/Record/1%2F18606 http://okeanos.lib.unipi.gr/Record/1%2F18606 Book 1995 0 Logic programming with Prolog / Sat, 01 Jan 2005 15:31:45 +0200 http://okeanos.lib.unipi.gr/Record/1%2F35489 http://okeanos.lib.unipi.gr/Record/1%2F35489 Bramer, M. A. 1948- Book 2005 Bramer, M. A. 1948- 0 Reasoning with logic programming/ Mon, 01 Jan 1996 15:31:45 +0200 http://okeanos.lib.unipi.gr/Record/1%2F399 http://okeanos.lib.unipi.gr/Record/1%2F399 Alferes, Jose Julio. Book 1996 Alferes, Jose Julio. 0 Reasoning with Logic Programming / Mon, 01 Jan 1996 15:31:45 +0200 http://okeanos.lib.unipi.gr/Record/1%2F402 http://okeanos.lib.unipi.gr/Record/1%2F402 Alferes, Jose Julio. Book 1996 Alferes, Jose Julio. 0 Logic and integer programming / Thu, 01 Jan 2009 15:31:45 +0200 http://okeanos.lib.unipi.gr/Record/1%2F39024 http://okeanos.lib.unipi.gr/Record/1%2F39024 Williams, H. P. Book 2009 Williams, H. P. 0 The journal of logic programming Sun, 01 Jan 1984 15:31:45 +0200 http://okeanos.lib.unipi.gr/Record/1%2F50911 http://okeanos.lib.unipi.gr/Record/1%2F50911 Journal 1984 0 Journal of logic and algerbraic programming Sun, 01 Jan 1984 15:31:45 +0200 http://okeanos.lib.unipi.gr/Record/1%2F51064 http://okeanos.lib.unipi.gr/Record/1%2F51064 Journal 1984 0 Λογικός και συναρτησιακός προγραμματισμός Thu, 01 Jan 2015 15:31:45 +0200 http://okeanos.lib.unipi.gr/Record/kal3587 http://okeanos.lib.unipi.gr/Record/kal3587 Σταματόπουλος, Παναγιώτης. Book 2015 Σταματόπουλος, Παναγιώτης. 0