Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Lecture notes in computer science : ...
1984-
The International series of monographs on computer science : 10 (Alle Bände), Oxford science publications
1993
Signatur: TVC1499
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Voronkov, Andrei
- Wang, Dongming
- Calmet, Jacques
- Carbonell, Jaime G
- Fitting, Melvin
- Kirchner, Hélène
- Leitsch, Alexander
- Vardi, Moshe Y
- Wiedijk, Freek
- Armando, Alessandro
- Autexier, Serge
- Baader, Franz
- Baaz, Matthias
- Basin, David
- Baumgartner, Peter
- Bibel, Wolfgang
- Bjørner, Nikolaj
- Bledsoe, Woody W
- Bonacina, Maria Paola
- Boyer, Robert S
Erscheinungsform
Schlagwort
- Automatisches Beweisverfahren
- Computer science
- Artificial intelligence
- Logic design
- Software engineering
- Programmierlogik
- HOL
- Logische Programmierung
- Computeralgebra
- Künstliche Intelligenz
- Online-Ressource
- Computational complexity
- Beweistheorie
- Geometrie
- Computer software
- Logic, Symbolic and mathematical
- Algebra
- Computer Communication Networks
- Computer graphics
- Geometrische Modellierung
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Systemstelle
Art des Inhalts