//--> //--> //-->
Toggle navigation
Logout
Change account settings
EN
DE
ES
FR
A-Z
Beta
About EconBiz
News
Thesaurus (STW)
Research Skills
Help
EN
DE
ES
FR
My account
Logout
Change account settings
Login
Publications
Events
Your search terms
Search
Retain my current filters
~subject:"Automatisches Beweisverfahren"
Search options
All Fields
Title
Exact title
Subject
Author
Institution
ISBN/ISSN
Published in...
Publisher
Open Access only
Advanced
Search history
My EconBiz
Favorites
Loans
Reservations
Fines
You are here:
Home
Search: subject:"Automated theorem proving"
Narrow search
Delete all filters
| 1 applied filter
Year of publication
From:
To:
Subject
All
Automatisches Beweisverfahren
Algebra
1
Assoziativprozessor
1
Automated theorem proving
1
CAD
1
Church-Rosser-Eigenschaft
1
Computer
1
Computer science
1
Computeralgebra
1
Extended quantifier elimination
1
Groebner Bases
1
Informatik
1
Kongress
1
Mathematics
1
Mathematik
1
Mikroprozessor
1
New Brunswick <NJ, 1996>
1
Partielle Information
1
Reduktion
1
more ...
less ...
Type of publication
All
Book / Working Paper
7
Type of publication (narrower categories)
All
Dissertation u.a. Prüfungsschriften
1
Graue Literatur
1
Hochschulschrift
1
Konferenzschrift
1
Non-commercial literature
1
Thesis
1
Language
All
English
4
Undetermined
3
Author
All
Bibel, Wolfgang
1
Boyer, Robert S.
1
Dilger, Werner
1
Etherington, David W.
1
Gallier, Jean H.
1
Guo, Qing
1
Moore, J. Strother
1
Schneider, Hans-Albert
1
Slaney, John K.
1
Winkler, Franz
1
more ...
less ...
Institution
All
CADE <International Conference on Automated Deduction, 13, 1996, New Brunswick, NJ>
1
Verband der Wissenschaftlichen Gesellschaften Österreichs
1
Published in...
All
Dissertationen der Johannes-Kepler-Universität Linz
1
Harper ¬& [and] Row computer science and technology series
1
Information and computation
1
Interner Bericht / Universität Kaiserslautern, Fachbereich Informatik
1
Source
All
USB Cologne (EcoSocSci)
6
ECONIS (ZBW)
1
Showing
1
-
7
of
7
Sort
relevance
articles prioritized
date (newest first)
date (oldest first)
1
Special issue: CADE 1996
Slaney, John K.
(
contributor
);
Guo, Qing
(
contributor
)
-
CADE <International Conference on Automated Deduction, …
- In:
Information and computation
162
(
2000
)
Persistent link: https://www.econbiz.de/10004902106
Saved in:
2
Reasoning with incomplete information
Etherington, David W.
-
1988
Persistent link: https://www.econbiz.de/10004060491
Saved in:
3
Automated
theorem
proving
Bibel, Wolfgang
-
1987
-
2., rev. ed.
Persistent link: https://www.econbiz.de/10004054709
Saved in:
4
Logic for computer science : foundations of automatic theorem proving
Gallier, Jean H.
-
1986
Persistent link: https://www.econbiz.de/10004037654
Saved in:
5
A theorem proving associative processor
Dilger, Werner
;
Schneider, Hans-Albert
-
1985
Persistent link: https://www.econbiz.de/10004050586
Saved in:
6
The church rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithms
Winkler, Franz
-
1984
Persistent link: https://www.econbiz.de/10000715552
Saved in:
7
A computational logic
Boyer, Robert S.
;
Moore, J. Strother
-
1979
Persistent link: https://www.econbiz.de/10004602057
Saved in:
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
//-->