scientific article

From MaRDI portal

Publication:3809221

Jump to:navigation, search

zbMath0659.68002MaRDI QIDQ3809221

Henri Farreny

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

artificial intelligence searching Prolog Lisp Non-monotonic reasoning first-order theorem proving problem representation expert system generation problem solving in finite state spaces programmed exercises

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Artificial intelligence (68Txx)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3809221&oldid=17384716"