Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Mathematics and Artificial Intelligence, Volume 6
Volume 6, Numbers 1-3, 1992
- John V. Franco, J. Michael Dunn, William H. Wheeler:
Recent Work at the Interface of Logic, Combinatorics and Computer Science. 1-15 - Peter Dolan:
Undecidable Statements and Random Graphs. 17-25 - William M. Farmer:
The Kreisel Length-of-Proof Problem. 27-55 - Peter Clote:
ALOGTIME and a Conjecture of S. A. Cook. 57-106 - Jan Krajícek, Gaisi Takeuti:
On Induction-Free Provability. 107-125 - Spyro-Giorgio Mantzivis:
Circuits in Bounded Arithmetic, Part I. 127-156 - Alasdair Urquhart:
The Relative Complexity of Resolution and Cut-Free Gentzen Systems. 157-168 - Andreas Goerdt:
Davis-Putnam Resolution versus Unrestricted Resolution. 169-184 - John W. Rosenthal, Ewald Speckenmeyer, Rainer Kemp:
Exact Satisfiability, a Natural Extension of Set Partition and Its Average Case Behavior. 185-200 - John W. Rosenthal:
The Expected Complexity of Analytic Tableaux Analyses in Propositional Calculus - II. 201-234 - T. H. Hu, Chuan Yi Tang, Richard C. T. Lee:
An Average Case Analysis of a Resolution Principle Algorithm in Mechanical Theorem Proving. 235-251 - Michel Minoux:
The Unique Horn-Satisfiability Problem and Quadratic Boolean Equations. 253-266 - R. Lee Panetta:
A Finite Intersection Property and the Loeb Measurability of Ultrafilters on Hyperfinite Sets. 267-270 - John N. Hooker:
Generalized Resolution for 0-1 Linear Inequalities. 271-286 - Daniele Mundici:
Turing Complexity of Behncke-Leptin C*-algebras with a Two-Point Dual. 287-293
Volume 6, Number 4, 1992
- Tien Huynh, Catherine Lassez, Jean-Louis Lassez:
Practical Issues on the Projection of Polyhedral Sets. 295-315 - Michael H. Sims, John L. Bresina:
Purposive Discovery of Operators. 317-343 - Richmond H. Thomason, John M. Aronis:
Hybridizing Nonmonotonic Inheritance with Theorem Proving. 345-365 - L. Darrell Whitley, Rajarshi Das, Curtis Crabb:
Tracking Primary Hyperplane Competitors During Genetic Search. 367-388
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-03 19:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
