Katalog der Deutschen Nationalbibliothek

Neuigkeiten Donnerstag, 11. September 2025: Die Deutsche Nationalbibliothek öffnet wegen eines Beschäftigtentreffens an beiden Standorten erst um 15 Uhr. // Thursday, 11 September 2025: The German National Library will not open until 15:00 due to a staff meeting at both locations.
 
 

Ergebnis der Suche nach: tit all "Proof planning with multiple strategies."

Zurück zur Trefferliste


Treffer 3 von 5 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/972337768
Titel Proof planning limit problems with multiple strategies / Andreas Meier and Erica Melis. Universität des Saarlandes, Fachrichtung Informatik
Person(en) Meier, Andreas (Verfasser)
Melis, Erica (Verfasser)
Verlag Saarbrücken : Univ., Fachrichtung Informatik
Zeitliche Einordnung Erscheinungsdatum: 2004
Umfang/Format 49 S. : graph. Darst. ; 30 cm
Andere Ausgabe(n) Erscheint auch als Online-Ausgabe: Meier, Andreas: Proof Planning Limit Problems with Multiple Strategies
ISBN/Einband/Preis geh.
Sprache(n) Englisch (eng)
Beziehungen SEKI-Report ; 2004,04
Anmerkungen Literaturverz. S. 47 - 49
Sachgruppe(n) 004 Informatik

Frankfurt Signatur: 2004 B 28097
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Frankfurt
Leipzig Signatur: 2005 B 5353
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Leipzig




Treffer 3 von 5
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration