Language:

Computational logic logic programming and beyond : essays in honour of Robert A. Kowalski

Antonis C Kakas; Fariba Sadri 1956-; Robert Kowalski

Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.2408 p.II ) and other locations(GetIt)

Title:
Computational logic logic programming and beyond : essays in honour of Robert A. Kowalski
Author: Antonis C Kakas; Fariba Sadri 1956-; Robert Kowalski
Subjects: Kowalski, Robert; Logic programming; Automatic theorem proving; Logic programming languages; LÓGICA MATEMÁTICA; TÉCNICAS DE PROGRAMAÇÃO; INTELIGÊNCIA ARTIFICIAL; PROGRAMAÇÃO LÓGICA
Notes: Includes bibliographical references and index
Related Titles: Series:Lecture notes in computer science Lecture notes in artificial intelligence; Lecture notes in computer science 2407-2408
Publisher: Berlin Springer New York
Creation Date: c2002
Format: 2 v. ill. 24 cm.
Language: English

Links

Back to results list

Result 1 Next Go to Next page