Konferenzschrift | Kongress
Frontiers of combining systems : 9th international symposium ; proceedings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783642408847
3642408842
- Dimensions
-
24 cm
- Extent
-
XI, 358 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 8152 : Lecture notes in artificial intelligence
- Keyword
-
Theoretische Informatik
Logik
Programmierung
Verifikation
Wissensrepräsentation
Automatisches Beweisverfahren
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg
- (who)
-
Springer
- (when)
-
2013
- Contributor
- 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:34 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
- Fontaine, Pascal
- Ringeissen, Christophe
- Schmidt, Renate
- FroCoS (9 : 2013 : Nancy)
- Springer
Time of origin
- 2013
Other Objects (12)
Postoperative und posttraumatische Thromboseprophylaxe mit i. v. injiziertem Heparin
Untersuchungen zur Anwendung des Leukozyten-Adhärenz-Inhibitionstests und zu Beeinflussungsmöglichkeiten des Reaktionsablaufs
Gedenkveranstaltung der Sinti und Roma anlässlich des 50. Jahrestages des "Auschwitz-Erlasses"; Reichstagsgebäude (Tiergarten)
Die Beziehungen zwischen der JAR und der VDRJ und ihre Bedeutung für das Ringen um Sicherheit und Frieden auf der arabischen Halbinsel
Renate Schmidt
Schmidt, Renate
Pornographie - hinsehen oder wegsehen? : Konsequenzen, Alternativen, Handlungsbedarf ; Dokumentation der Anhörung vom 13./14. September 1988
Zeit der Hüte
Welchen Einfluss hat der Gestationsdiabetes auf die Diabetesmanifestation im späteren Leben der Frau
Renate Schmidt, mit Widmung und Autograph
Makroskopische und lichtmikroskopische Anatomie des Edelkrebses (Astacus astacus L.)
Caritas in Lemgo: vom Elisabeth-Verein zur Caritas-Konferenz 1923 - 1998
Postoperative und posttraumatische Thromboseprophylaxe mit i. v. injiziertem Heparin
Untersuchungen zur Anwendung des Leukozyten-Adhärenz-Inhibitionstests und zu Beeinflussungsmöglichkeiten des Reaktionsablaufs
Gedenkveranstaltung der Sinti und Roma anlässlich des 50. Jahrestages des "Auschwitz-Erlasses"; Reichstagsgebäude (Tiergarten)
Die Beziehungen zwischen der JAR und der VDRJ und ihre Bedeutung für das Ringen um Sicherheit und Frieden auf der arabischen Halbinsel
Renate Schmidt
Schmidt, Renate
Pornographie - hinsehen oder wegsehen? : Konsequenzen, Alternativen, Handlungsbedarf ; Dokumentation der Anhörung vom 13./14. September 1988
Zeit der Hüte
Welchen Einfluss hat der Gestationsdiabetes auf die Diabetesmanifestation im späteren Leben der Frau
Renate Schmidt, mit Widmung und Autograph
Makroskopische und lichtmikroskopische Anatomie des Edelkrebses (Astacus astacus L.)
Caritas in Lemgo: vom Elisabeth-Verein zur Caritas-Konferenz 1923 - 1998
Postoperative und posttraumatische Thromboseprophylaxe mit i. v. injiziertem Heparin
Untersuchungen zur Anwendung des Leukozyten-Adhärenz-Inhibitionstests und zu Beeinflussungsmöglichkeiten des Reaktionsablaufs
Gedenkveranstaltung der Sinti und Roma anlässlich des 50. Jahrestages des "Auschwitz-Erlasses"; Reichstagsgebäude (Tiergarten)
Die Beziehungen zwischen der JAR und der VDRJ und ihre Bedeutung für das Ringen um Sicherheit und Frieden auf der arabischen Halbinsel
Renate Schmidt
Schmidt, Renate
Pornographie - hinsehen oder wegsehen? : Konsequenzen, Alternativen, Handlungsbedarf ; Dokumentation der Anhörung vom 13./14. September 1988
Zeit der Hüte
Welchen Einfluss hat der Gestationsdiabetes auf die Diabetesmanifestation im späteren Leben der Frau
Renate Schmidt, mit Widmung und Autograph
Makroskopische und lichtmikroskopische Anatomie des Edelkrebses (Astacus astacus L.)