- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540430759
354043075X
- Dimensions
-
24 cm
- Extent
-
XIII, 548 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; Vol. 2244
- Keyword
-
Theoretische Informatik
Programmierung
Logische Programmierung
Softwareentwicklung
Wissenstechnik
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo
- (who)
-
Springer
- (when)
-
2001
- Contributor
-
Bjørner, Dines
International Andrei Ershov Memorial Conference (4 : 2001 : Nowosibirsk-Akademgorodok)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:52 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
- Kongress
Associated
- Bjørner, Dines
- International Andrei Ershov Memorial Conference (4 : 2001 : Nowosibirsk-Akademgorodok)
- Springer
Time of origin
- 2001
Other Objects (12)
Perspectives of system informatics : revised papers
Perspectives of systems informatics : revised papers
Perspectives of systems informatics : revised papers
Perspectives of systems informatics : revised selected papers
Perspectives of systems informatics : revised selected papers
Social informatics : revised selected papers
Advances in informatics : revised selected papers
Medical imaging and informatics : 2nd international conference ; revised selected papers
Biomedical informatics and technology : first international conference ; revised selected papers
Algebraic informatics : second international conference ; revised selected and invited papers
Informatics in control, automation and robotics : 8th international conference ; revised selected papers
Foundations of health informatics engineering and systems : first international symposium ; revised selected papers
Perspectives of system informatics : revised papers
Perspectives of systems informatics : revised papers
Perspectives of systems informatics : revised papers
Perspectives of systems informatics : revised selected papers
Perspectives of systems informatics : revised selected papers
Social informatics : revised selected papers
Advances in informatics : revised selected papers
Medical imaging and informatics : 2nd international conference ; revised selected papers
Biomedical informatics and technology : first international conference ; revised selected papers
Algebraic informatics : second international conference ; revised selected and invited papers
Informatics in control, automation and robotics : 8th international conference ; revised selected papers
Foundations of health informatics engineering and systems : first international symposium ; revised selected papers
Perspectives of system informatics : revised papers
Perspectives of systems informatics : revised papers
Perspectives of systems informatics : revised papers
Perspectives of systems informatics : revised selected papers
Perspectives of systems informatics : revised selected papers
Social informatics : revised selected papers
Advances in informatics : revised selected papers
Medical imaging and informatics : 2nd international conference ; revised selected papers
Biomedical informatics and technology : first international conference ; revised selected papers
Algebraic informatics : second international conference ; revised selected and invited papers
Informatics in control, automation and robotics : 8th international conference ; revised selected papers