Buy Used and New HansKleineBüning Books

Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers: CSL '92, San Miniato, Italy, ... Workshop (Lecture Notes in Computer Science)

by

ISBN 13: 9783540569923

Format: Paperback (439 pages)
Publisher: Springer
Published: 11 Aug 1993

Save for later

Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783540797180

Format: Paperback (305 pages)
Publisher: Springer
Published: 25 Apr 2008

Save for later