Computational logic :

Computational logic : essays in honor of Alan Robinson

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Lassez, Jean-Louis (Επιμελητής έκδοσης), Plotkin, Gordon 1946- (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Cambridge, Mass. : MIT Press, c1991.
Θέματα:	Robinson, J. A. > (John Alan). Automatic theorem proving. Logic programming.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Logic for Computer Science :
από: Gallier, Jean H.
Δημοσίευση: (1987)

Gems of theoretical computer science
από: Schoning, Uwe 1955-
Δημοσίευση: (1998)

Symbolic logic and mechanical theorem proving
από: Chang, Chin-Liang 1937-
Δημοσίευση: (1987)

Mechanical geometry theorem proving
από: Chou, Shang-Ching 1942-
Δημοσίευση: (1988)

Deduction systems
από: Socher-Ambrosius, Rolf
Δημοσίευση: (1997)

Interactive theorem proving and program development :
από: Bertot, Yves
Δημοσίευση: (2004)

Automated theorem proving :
Δημοσίευση: (1984)

The computer modelling of mathematical reasoning
από: Bundy, Alan
Δημοσίευση: (1983)

Automated Reasoning :
από: Wos, Larry
Δημοσίευση: (1992)

Automated Reasoning :
Δημοσίευση: (1992)

Proof in VDM: :
Δημοσίευση: (1998)

Diagrammatic reasoning :
Δημοσίευση: (1995)

Ontic :
από: McAllester, David A.
Δημοσίευση: (1989)

Fuzzy logic :
Δημοσίευση: (1997)

Reappraising J.A. Hobson :
Δημοσίευση: (1990)

Logic for computer scientists
από: Schoning, Uwe 1955-
Δημοσίευση: (1989)

Logic in computer science :
από: Huth, Michael 1962-
Δημοσίευση: (2004)

Fuzzy Logic Technology and Applications
Δημοσίευση: (1994)

Η κρίση των Ιμίων και ο ρόλος του Τύπου και της ιδιωτικής τηλεόρασης
από: Μαστρογεωργίου, Γιάννης
Δημοσίευση: (2015)

The Aran islands
από: Synge, J. M. (John Millington) 1871-1909
Δημοσίευση: (1979)

The Aran islands
από: Synge, J. M. (John Millington), 1871-1909
Δημοσίευση: (1992)

Logic programming and soft computing
Δημοσίευση: (1998)

Logic and Foundations of Mathematics
Δημοσίευση: (1968)

Φυτοθεραπευτική δράση των βοτάνων σε σύγκριση με τα αντίστοιχα ομοιοπαθητικά παθογενετικά πειράματα (homeopathic pathogenetic trials [HPTs], provings) στον ανθρώπινο οργανισμό
από: Τσανταρλιώτη, Όλγα (Δημήτριος)
Δημοσίευση: (2015)

Programming logic and design :
από: Farrell, Joyce
Δημοσίευση: (2007)

Logic for applications
από: Nerode, Anil, 1932-
Δημοσίευση: (1993)

Applied research in fuzzy technology :
Δημοσίευση: (1994)

The logic programming paradigm :
Δημοσίευση: (1999)

Types in logic programming
Δημοσίευση: (1992)

Essentials of logic programming
από: Hogger, Christopher John
Δημοσίευση: (1990)

Η μαγεία των μύθων :
από: Howe, John 1957-
Δημοσίευση: (2004)

Logic programming :
Δημοσίευση: (1991)

Logic Programming :

Το χαμόγελο του Τούρινγκ
από: Papadimitriou, Christos H.
Δημοσίευση: (2000)

The age of turbulence :
από: Greenspan, Alan, 1926-
Δημοσίευση: (2007)

Handbook of logic in artificial intelligence and logic programming
Δημοσίευση: (1993)

Constraint satisfaction in logic programming
από: Van Hentenryck, Pascal
Δημοσίευση: (1989)

Meta-programming in logic programming
Δημοσίευση: (1989)

Logic, language and computation
Δημοσίευση: (1996)

Network programming with Microsoft Visual J++ 6.0
από: Wilson, Andy, 1971-
Δημοσίευση: (1999)