Frontiers of combining systems proceedings of the ...held March 22 - 24, 2000
Saved in:
Corporate Author: | International workshop |
---|---|
Other Authors: | Kirchner, H. H?l?ne, Ringeissen, Christophe 1967- |
Format: | Book |
Published: |
Berlin
Springer
2000
|
Series: | Lecture notes in artificial intelligence 1794 : lecture notes in computer science
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Logic from computer science proceedings of a ... held November 13-17, 1989
Published: (1992) -
Logic Colloquium '77 proceedings of the ... held August 1977
Published: (1978) -
Logic Colloquium '99 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
Published: (2004) -
Logic and computer science
Published: (1990) -
Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.
Published: (1970)