TY  - BOOK
AU  -  Berger, Ulrich
AU  -  Schwichtenberg, Helmut
TI  - Computational logic
SN  - 3540645896
U1  - 004.015113 
PY  - 1999///
CY  - New York : .
PB  - Springer
KW  - Computer logic.
KW  - Preuve, Théorie de la -- Congrès
KW  - Projeto lógico de computadores (congressos)
ER  -