schließen
de
en
Inhalt
Universität Innsbruck
(
18227
Titel
)
Digital
Dok
zum Inhalt
Universitäts- und
Landesbibliothek Tirol
3
Titel
in
Basisklassifikation
››
Informatik
››
Computermethodik: Allgemeines
››
Logikprogrammierung
Alle Titel
Volltext verfügbar
Learning-assisted reasoning within proof assistants
Gauthier, Thibault Andre Jean-Louis
Innsbruck, 1 August 2018
Volltext verfügbar
Reasoning in natural language
Zakieldin, Kamal Elsaid
Innsbruck, 26. September 2021
Volltext verfügbar
Web application security testing by logic programming
Zech, Philipp
2014