Konferenzschrift | Kongress

Frontiers of combining systems : third international workshop ; proceedings

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540672814
3540672818
Maße
24 cm
Umfang
X, 289 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Literaturangaben

Erschienen in
Lecture notes in computer science ; Vol. 1794 : Lecture notes in artificial intelligence

Schlagwort
Automatisches Beweisverfahren
Constraint
Deduktionssystem
Computeralgebra
Entscheidungsproblem
Mathematische Logik
Lineare Optimierung

Ereignis
Veröffentlichung
(wo)
Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Singapore, Tokyo
(wer)
Springer
(wann)
2000
Beteiligte Personen und Organisationen
Kirchner, Hélène
FroCoS (3 : 2000 : Nancy)

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:29 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Konferenzschrift
  • Kongress

Beteiligte

Entstanden

  • 2000

Ähnliche Objekte (12)

Frontiers in algorithmics : third international workshop ; proceedings

Konferenzschrift | Kongress

Frontiers in algorithmics : third international workshop ; proceedings

Frontiers of combining systems : 4th international workshop ; proceedings

Konferenzschrift | Kongress

Frontiers of combining systems : 4th international workshop ; proceedings

Frontiers of combining systems : 5th international workshop ; proceedings

Konferenzschrift | Kongress

Frontiers of combining systems : 5th international workshop ; proceedings

Frontiers of combining systems : 8th international symposium ; proceedings

Konferenzschrift | Kongress

Frontiers of combining systems : 8th international symposium ; proceedings

Frontiers of combining systems : 7th international symposium ; proceedings

Konferenzschrift | Kongress

Frontiers of combining systems : 7th international symposium ; proceedings

Frontiers of combining systems : 9th international symposium ; proceedings

Konferenzschrift | Kongress

Frontiers of combining systems : 9th international symposium ; proceedings

Frontiers in algorithmics : second international workshop ; proceedings

Konferenzschrift | Kongress

Frontiers in algorithmics : second international workshop ; proceedings

Frontiers in algorithmics : 4th international workshop ; proceedings

Konferenzschrift | Kongress

Frontiers in algorithmics : 4th international workshop ; proceedings

Static analysis : third international workshop ; proceedings

Konferenzschrift | Kongress

Static analysis : third international workshop ; proceedings

Information security : third international workshop ; proceedings

Konferenzschrift | Kongress

Information security : third international workshop ; proceedings

Ant algorithms : third international workshop ; proceedings

Konferenzschrift | Kongress

Ant algorithms : third international workshop ; proceedings

Information hiding : third international workshop ; proceedings

Konferenzschrift | Kongress

Information hiding : third international workshop ; proceedings

Verbundene Objekte