Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "OR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving OR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving"
im Bestand: Gesamter Bestand
Ihre Suchanfrage ergab leider keine Treffer.
Hinweise zur Suche
- Überprüfen Sie die Schreibweise der Suchbegriffe.
- Verwenden Sie ähnliche, allgemeinere oder weniger Begriffe.
- Nutzen Sie den Platzhalter *.
- Weitere Tipps zur Suche finden Sie hier.
Für eine weiterführende Suche nach Zeitschriftentiteln nutzen Sie bitte auch die Zeitschriftendatenbank (ZDB).
Sie haben nicht das Richtige gefunden? Dann weiter zur Kontaktseite.