Konferenzschrift | Kongress

Frontiers of combining systems : 4th international workshop ; proceedings

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783540433811
3540433813
Maße
24 cm
Umfang
VIII, 254 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Literaturangaben

Erschienen in
Lecture notes in computer science ; Vol. 2309 : 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, Tokyo
(wer)
Springer
(wann)
2002
Beteiligte Personen und Organisationen
Armando, Alessandro
FroCoS (4 : 2002 : Santa Margherita Ligure)

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.03.2025, 12:36 MEZ

Datenpartner

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

Objekttyp

  • Konferenzschrift
  • Kongress

Beteiligte

  • Armando, Alessandro
  • FroCoS (4 : 2002 : Santa Margherita Ligure)
  • Springer

Entstanden

  • 2002

Ähnliche Objekte (12)

Frontiers in algorithmics : 4th international workshop ; proceedings

Konferenzschrift | Kongress

Frontiers in algorithmics : 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 : third international workshop ; proceedings

Konferenzschrift | Kongress

Frontiers of combining systems : third international workshop ; proceedings

Frontiers of combining systems : 7th international symposium ; proceedings

Konferenzschrift | Kongress

Frontiers of combining systems : 7th international symposium ; proceedings

Frontiers of combining systems : 8th international symposium ; proceedings

Konferenzschrift | Kongress

Frontiers of combining systems : 8th international symposium ; proceedings

Frontiers of combining systems : 9th international symposium ; proceedings

Konferenzschrift | Kongress

Frontiers of combining systems : 9th international symposium ; proceedings

Algorithm engineering : 4th international workshop ; proceedings

Konferenzschrift | Kongress

Algorithm engineering : 4th international workshop ; proceedings

Information hiding : 4th international workshop ; proceedings

Konferenzschrift | Kongress

Information hiding : 4th international workshop ; proceedings

Reachability problems : 4th international workshop ; proceedings

Konferenzschrift | Kongress

Reachability problems : 4th international workshop ; proceedings

Computer science logic : 4th workshop ; proceedings

Konferenzschrift | Kongress

Computer science logic : 4th workshop ; proceedings

Frontiers in algorithmics : third international workshop ; proceedings

Konferenzschrift | Kongress

Frontiers in algorithmics : third international workshop ; proceedings

Frontiers in algorithmics : second international workshop ; proceedings

Konferenzschrift | Kongress

Frontiers in algorithmics : second international workshop ; proceedings

Verbundene Objekte