Shortcuts
 
PageMenu- Hauptmenü-
Page content
 

Suchergebnisse

Ihre Suche nach Kombinierte Autoren=AYALARINCON MAURICIO ergibt 2 Einträge

Suchergebnisseite: .   1   .   . Seite: 1 von 1
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Suchergebnisse einschränken

Medientyp:
Sprache:
Suchergebnisse in Regalansicht anzeigen.
Suchergebnisse
Nr. Cover Titel Verfasser Jahr Beschreibung Exemplarinformation
1 Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs [E-Book] Ayala-Rincón, Mauricio 2017 E-Book URL Exists Catalogue Record .
2 Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings [E-Book]   2017 Reihenverknüpfung anzeigen für Katalogsatz 500257449500257449 E-Book URL Exists Catalogue Record .
Suchergebnisseite: .   1   .   . Seite: 1 von 1
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Schnellsuche