Automata, Languages and Programming: 23rd International Colloquium, Icalp ,96 Paderborn, Germany, July 8-12, 1996 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Contributors: F. Meyer Auf Der Heide (Editor); B. Monien (Editor)
Publisher: Springer-Verlag Telos
Published: January 15, 1996
Language: eng
Format: Paperback
Number of pages: 680
ISBN-13: 9783540614401
Subjects: Computer Programming; General Theory of Computing; Discrete Mathematics; Automata; Computer Programming Languages; Computers; Computers - Languages / Programming; Science/Mathematics; Computer Science; Programming Languages - General
First sentence: Saturation is one of the major techniques for automated theorem proving in first-order logic.