Computer Science Logic
Subtitle: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings (Lecture Notes in Computer Science)
Contributors: Egon Börger (Editor); Hans Kleine Büning (Editor); Michael M. Richter (Editor); Wolfgang Schönfeld (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 7, 1991
Language: eng
Format: Paperback
Number of pages: 399
ISBN-13: 9783540544876
Subjects: Applied mathematics; General Theory of Computing; Mathematical logic; Logic Design; Computer Science; Computers - General Information; Logic; Artificial Intelligence; Computational Complexity; Computers / Logic Design; Formal Languages; Formale Sprachen; Komplexität; Künstliche Intelligenz; Logik; Programmiersprachen; Programming Languages; Congresses; Logic, Symbolic and mathematical