Description: Computational logic /

Corporate Authors:	North Atlantic Treaty Organization Scientific Affairs Division, NATO Advanced Study Institute on Computational Logic
Other Authors:	Berger, Ulrich, Schwichtenberg, Helmut
Format:	Book
Language:	English
Published:	Berlin ; Springer, 1999. New York :
Subjects:	Computer logic

Item Description:	"Published in cooperatiton with NATO Scientific Affairs Division." .
Physical Description:	444 p. : ill. ; 24 cm.
Bibliography:	Includes bibliographical references.
ISBN:	3540645896(alk.paper)