TY  - BOOK
AU  - Berger,Ulrich
AU  - Schwichtenberg,Helmut
ED  - North Atlantic Treaty Organization.
ED  - NATO Advanced Study Institute on Computacional Logic 
TI  - Computational logic
T2  - NATO ASI series
SN  - 3-540-64589-6
AV  - QA76.9 .L63 C65
PY  - 1999///
CY  - Berlin
PB  - Springer
N1  - Procede de NATO Advanced Study Institute on Computacional Logic, realizada en Marktoberdorf, Germany, Julio 29-Agosto 10, 1997
ER  -