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."



Treffer 5 von 5 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/958181977
Titel Proof planning with multiple strategies / Erica Melis and Andreas Meier. Universität des Saarlandes, Fachbereich Informatik
Person(en) Melis, Erica (Verfasser)
Meier, Andreas (Verfasser)
Verlag Saarbrücken : Univ., Fachbereich Informatik
Zeitliche Einordnung Erscheinungsdatum: 1999
Umfang/Format 15 S. : graph. Darst. ; 30 cm
ISBN/Einband/Preis geh.
Sprache(n) Englisch (eng)
Beziehungen SEKI-Report ; 99,06
Sachgruppe(n) 28 Informatik, Datenverarbeitung

Frankfurt Signatur: 1999 B 27485
Bereitstellung in Frankfurt
Leipzig Signatur: 1999 B 27485
Bereitstellung in Leipzig




Treffer 5 von 5
< < > <


E-Mail-IconAdministration