Computer Science Logic
Subtitle: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science)
Contributors: Egon Börger (Editor); Gerhard Jäger (Editor); Hans Kleine Büning (Editor); Michael M. Richter (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 8, 1992
Language: eng
Format: Paperback
Number of pages: 428
ISBN-13: 9783540557890
Subjects: General Theory of Computing; Mathematical logic; Machine Theory; Computers - General Information; Logic Design; Logic; Artificial Intelligence; Computational Complexity; Computers / Logic Design; Formal Languages; Formale Sprachen; Komplexitätstheorie; Künstliche Intelligenz; Logik; Programmiersprachen; Programming Languages; Computer science; Congresses; Logic, Symbolic and mathematical