Titlebook: Logic Programming; First Russian Confer A. Voronkov Conference proceedings 1992 Springer-Verlag Berlin Heidelberg 1992 Automat.Automated Re

lethargy

出沒

偶像

流動性

Conference proceedings 1992e: logic programming, automated theoremproving, non-monotonic reasoning, applications ofmathematical logic to computer science, deductivedatabases,implementation of declarative concepts, and programminginnon-classical logics.This is the first volume to represent activity in the fieldof logic programming in the countries of the formerSovietUnion.