Hugh Glaser, Pieter Hartel, Herbert Kuchen

Programming Languages: Implementations, Logics, and Programs

9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 35, 1997 Proceedings

We couldn't estimate the reading time for this book.

Author

Publication

1997 - Springer-Verlag, Berlin, Germany

Language

English

Word Count

0 words, Guess

Page Count

0 pages

Physical Format

Electronic resource

Identifiers

Internet Archiveprogramminglangu00anto
ISBN-103540695370
ISBN-139783540695370
OCLC Control Number769770779
Open LibraryOL27083194M

Subjects

Topics

Logic design Computer science Programming Techniques Artificial intelligence Logics and Meanings of Programs Mathematical Logic and Formal Languages Artificial Intelligence (incl. Robotics)

Series Statement

Lecture Notes in Computer Science -- 1292,

Similar Books

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

edited by Farhad Arbab, Peter Csaba Ölveczky

Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

edited by Alexander Romanovsky, Tullio Vardanega

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

edited by Sergei Artemov, Anil Nerode

Relational and Algebraic Methods in Computer Science: 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014, Proceedings

Peter Jipsen, Michael Winter, Uli Fahrenberg, Peter Höfner, Martin Eric Müller, Wolfram Kahl

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!