Computer Science Logic
Subtitle: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings (Lecture Notes in Computer Science)
Contributors: Jörg Flum (Editor); Mario Rodriguez-Artalejo (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 18, 1999
Language: eng
Format: Paperback
Number of pages: 580
ISBN-13: 9783540665366
Subjects: Mathematical theory of computation; Computer Logic; Computers; Medical / Nursing; Computer Books: Languages; Artificial Intelligence - General; General; Logic; AI Logic; Computer Science Logic; Computers : Artificial Intelligence - General; Formal Logic; Mathematical Logic; Mathematics / Logic; Mathematics : Logic; Medical / General; Programming Theory; Computer Science