×

Logic and data bases. Proceedings of the symposium on logic and data bases held at the Centre d’Etudes et de Recherches de L’Ecole Nationale Superieure de L’Aeronautique et de L’Espace de Toulouse (C.E.R.T.), Toulouse, France, November 16-18, 1977. (English) Zbl 0412.68089

New York, London: Plenum Press. VIII, 458 p. $ 29.50 (1978).

MSC:

68T99 Artificial intelligence
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
03B35 Mechanization of proofs and logical operations
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q65 Abstract data types; algebraic specification
68P05 Data structures
68-02 Research exposition (monographs, survey articles) pertaining to computer science
68P20 Information storage and retrieval of data

Software:

Datalog