- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
A Fully Automatic Theorem Prover with Human-Style Output ; day:11 ; month:6 ; year:2016 ; pages:1-39
Journal of automated reasoning ; (11.6.2016), 1-39
- Creator
-
Ganesalingam, M.
- Contributor
-
Gowers, W. T.
SpringerLink (Online service)
- DOI
-
10.1007/s10817-016-9377-1
- URN
-
urn:nbn:de:1111-201606129197
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:02 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Ganesalingam, M.
- Gowers, W. T.
- SpringerLink (Online service)
Other Objects (12)
AUTOMATIC ARCHITECTURAL STYLE RECOGNITION
A Fully Automatic hp-Adaptive Refinement Strategy
Extending automatic theorem proving by planning
Fully automatic adjoints of large-scale numerical simulations
The fully automatic installation of a Linux cluster
Fully automatic design space exploration by RANS computations
Fully automatic preprocessing of naval images for 3D reconstruction
A Fully Automatic Calibration System for Hydrometers in NIM
Fully automatic wound segmentation with deep convolutional neural networks
FULLY AUTOMATIC IMAGE-BASED REGISTRATION OF UNORGANIZED TLS DATA
Input/output-style approach to standardized traditional amortization plans
Fully automatic reconstruction of virtual environment based on LIDAR data
AUTOMATIC ARCHITECTURAL STYLE RECOGNITION
A Fully Automatic hp-Adaptive Refinement Strategy
Extending automatic theorem proving by planning
Fully automatic adjoints of large-scale numerical simulations
The fully automatic installation of a Linux cluster
Fully automatic design space exploration by RANS computations
Fully automatic preprocessing of naval images for 3D reconstruction
A Fully Automatic Calibration System for Hydrometers in NIM
Fully automatic wound segmentation with deep convolutional neural networks
FULLY AUTOMATIC IMAGE-BASED REGISTRATION OF UNORGANIZED TLS DATA
Input/output-style approach to standardized traditional amortization plans
Fully automatic reconstruction of virtual environment based on LIDAR data
AUTOMATIC ARCHITECTURAL STYLE RECOGNITION
A Fully Automatic hp-Adaptive Refinement Strategy
Extending automatic theorem proving by planning
Fully automatic adjoints of large-scale numerical simulations
The fully automatic installation of a Linux cluster
Fully automatic design space exploration by RANS computations
Fully automatic preprocessing of naval images for 3D reconstruction
A Fully Automatic Calibration System for Hydrometers in NIM
Fully automatic wound segmentation with deep convolutional neural networks
FULLY AUTOMATIC IMAGE-BASED REGISTRATION OF UNORGANIZED TLS DATA
Input/output-style approach to standardized traditional amortization plans