Robinson, J. A. (John Alan)
Overview
Works:  133 works in 287 publications in 3 languages and 3,677 library holdings 

Genres:  Juvenile works History Conference papers and proceedings Sources Examinations Handbooks and manuals 
Roles:  Author, Editor, Composer, Printer, Honoree, Other 
Classifications:  QA76.63, 006.3 
Publication Timeline
.
Most widely held works about
J. A Robinson
Most widely held works by
J. A Robinson
Handbook of logic in artificial intelligence and logic programming by
Dov M Gabbay(
Book
)
20 editions published between 1993 and 1998 in English and Undetermined and held by 476 WorldCat member libraries worldwide
The Handbook of Logic in Artificial Intelligence and Logic Programming is a multivolume work covering all major areas of the application of logic to artificial intelligence and logic programming. The authors are chosen on an international basis and are leaders in the fields covered. Volume 5 is the last in this wellregarded series. Logic is now widely recognized as one of the foundational disciplines of computing. It has found applications in virtually all aspects of the subject, from software and hardware engineering to programming languages and artificial intelligence. In response to the growing need for an indepth survey of these applications the Handbook of Logic in Artificial Intelligence and its companion, the Handbook of Logic in Computer Science have been created. The Handbooks are a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying themes in the various areas. Some mathematical background is assumed, and much of the material will be of interest to logicians and mathematicians. Volume 5 focuses particularly on logic programming.; The chapters, which in many cases are of monograph length and scope, emphasize possible unifying themes
20 editions published between 1993 and 1998 in English and Undetermined and held by 476 WorldCat member libraries worldwide
The Handbook of Logic in Artificial Intelligence and Logic Programming is a multivolume work covering all major areas of the application of logic to artificial intelligence and logic programming. The authors are chosen on an international basis and are leaders in the fields covered. Volume 5 is the last in this wellregarded series. Logic is now widely recognized as one of the foundational disciplines of computing. It has found applications in virtually all aspects of the subject, from software and hardware engineering to programming languages and artificial intelligence. In response to the growing need for an indepth survey of these applications the Handbook of Logic in Artificial Intelligence and its companion, the Handbook of Logic in Computer Science have been created. The Handbooks are a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying themes in the various areas. Some mathematical background is assumed, and much of the material will be of interest to logicians and mathematicians. Volume 5 focuses particularly on logic programming.; The chapters, which in many cases are of monograph length and scope, emphasize possible unifying themes
Logic : form and function : the mechanization of deductive reasoning by
J. A Robinson(
Book
)
16 editions published in 1979 in 3 languages and held by 366 WorldCat member libraries worldwide
Logic: form and content; Formulas: syntax and intuitive semantics; Boolean analysis of sentences; Infinitive finitary trees and boolean compactness; Semantic analysis of sentences and terms; Logical consequence: sequents and proofs; Logical equivalence: substitutivity and variants; Normal forms of sentences and sequents; Herbrand models and maps; Quad notation for clausal sequents; Unification; Resolution; Resolution on the computer; Historical notes; Appedix; Index
16 editions published in 1979 in 3 languages and held by 366 WorldCat member libraries worldwide
Logic: form and content; Formulas: syntax and intuitive semantics; Boolean analysis of sentences; Infinitive finitary trees and boolean compactness; Semantic analysis of sentences and terms; Logical consequence: sequents and proofs; Logical equivalence: substitutivity and variants; Normal forms of sentences and sequents; Herbrand models and maps; Quad notation for clausal sequents; Unification; Resolution; Resolution on the computer; Historical notes; Appedix; Index
Natural and artificial parallel computation(
Book
)
8 editions published in 1990 in English and held by 354 WorldCat member libraries worldwide
8 editions published in 1990 in English and held by 354 WorldCat member libraries worldwide
Stereospecificity in organic chemistry and enzymology by
J Rétey(
Book
)
9 editions published in 1982 in English and German and held by 283 WorldCat member libraries worldwide
Definitions and nomenclature; The mechanistic basis of stereospecificity; NAD (P) dependent oxidoreductases; Flavindependent redox reactions; Aldol and claisen tupe condensations; Biotindependent carboxylations and the enzymic carboxylation of phosphoenolpyruvate; Pyridoxal phosphate dependent enzymic reactions; The stereochemical course of the coenzyme B12 dependent rearrangements; Some aspects of terpenoid biosynthesis; Additionelimination reactions; Phosphoryl group transfer reactions
9 editions published in 1982 in English and German and held by 283 WorldCat member libraries worldwide
Definitions and nomenclature; The mechanistic basis of stereospecificity; NAD (P) dependent oxidoreductases; Flavindependent redox reactions; Aldol and claisen tupe condensations; Biotindependent carboxylations and the enzymic carboxylation of phosphoenolpyruvate; Pyridoxal phosphate dependent enzymic reactions; The stereochemical course of the coenzyme B12 dependent rearrangements; Some aspects of terpenoid biosynthesis; Additionelimination reactions; Phosphoryl group transfer reactions
Handbook of automated reasoning by
Alan Robinson(
Book
)
9 editions published in 2001 in English and held by 235 WorldCat member libraries worldwide
Automated reasoning has matured into one of the most advanced areas of computer science. This handbook presents an overview of the fundamental ideas, techniques, and methods in automated reasoning and its applications. The material covers both theory and implementation
9 editions published in 2001 in English and held by 235 WorldCat member libraries worldwide
Automated reasoning has matured into one of the most advanced areas of computer science. This handbook presents an overview of the fundamental ideas, techniques, and methods in automated reasoning and its applications. The material covers both theory and implementation
Computational logic : essays in honor of Alan Robinson(
Book
)
4 editions published in 1991 in English and held by 226 WorldCat member libraries worldwide
4 editions published in 1991 in English and held by 226 WorldCat member libraries worldwide
Handbook of logic in artificial intelligence and logic programming by
Dov M Gabbay(
Book
)
32 editions published between 1993 and 2002 in English and held by 129 WorldCat member libraries worldwide
Logical basic for the automation of reasoning : case studies / Larry Wos, Robeth Veroff /  Unification theory / Franz Baader, Jörg Siekmann /  Mathematical induction / Christoph Walther /  Higher orden logic / Daniel Leivant /  Metalanguages, reflection principles, and selfreference / Donald Perlis, V.S. Subrahmanian /  Classical vs nonclassical logics (the universality of classical logic)  D.M. Gabbay /
32 editions published between 1993 and 2002 in English and held by 129 WorldCat member libraries worldwide
Logical basic for the automation of reasoning : case studies / Larry Wos, Robeth Veroff /  Unification theory / Franz Baader, Jörg Siekmann /  Mathematical induction / Christoph Walther /  Higher orden logic / Daniel Leivant /  Metalanguages, reflection principles, and selfreference / Donald Perlis, V.S. Subrahmanian /  Classical vs nonclassical logics (the universality of classical logic)  D.M. Gabbay /
The Ames correspondence: letters to Mary : a selection from letters written by members of the Ames family of Lakenham, Norwich,
18371847 by
John Alfred ROBINSON(
Book
)
12 editions published between 1962 and 1963 in English and held by 68 WorldCat member libraries worldwide
12 editions published between 1962 and 1963 in English and held by 68 WorldCat member libraries worldwide
Handbook of logic in artificial intelligence and logic programming by
Dov M Gabbay(
Book
)
8 editions published in 1995 in English and held by 67 WorldCat member libraries worldwide
8 editions published in 1995 in English and held by 67 WorldCat member libraries worldwide
Handbook of logic in artificial intelligence and logic programming by
Dov M Gabbay(
Book
)
11 editions published in 1994 in English and held by 53 WorldCat member libraries worldwide
AI and nonmonotonic reasoning / Matthew L. Ginsberg /  General patterns in nonmonotonic reasoning / David Makinson /  Some direct theories of nonmonotonic inheritance / John F. Horty /  Default logic / David Poole /  Autoepistemic logic / Kurt Konolige /  Circumscription / Vladimir Lifschitz /  Defeasible logic / Donald Nute /  Uncertainty logics / Henry E. Kyburg, Jr. /  Possibilistic logic / D. Dubois, J. Lang /
11 editions published in 1994 in English and held by 53 WorldCat member libraries worldwide
AI and nonmonotonic reasoning / Matthew L. Ginsberg /  General patterns in nonmonotonic reasoning / David Makinson /  Some direct theories of nonmonotonic inheritance / John F. Horty /  Default logic / David Poole /  Autoepistemic logic / Kurt Konolige /  Circumscription / Vladimir Lifschitz /  Defeasible logic / Donald Nute /  Uncertainty logics / Henry E. Kyburg, Jr. /  Possibilistic logic / D. Dubois, J. Lang /
Looking at language by
J. A Robinson(
Book
)
3 editions published in 1974 in English and held by 40 WorldCat member libraries worldwide
3 editions published in 1974 in English and held by 40 WorldCat member libraries worldwide
Künstliche Intelligenz und heuristisches Programmieren by
N. V Findler(
Book
)
1 edition published in 1975 in German and held by 24 WorldCat member libraries worldwide
1 edition published in 1975 in German and held by 24 WorldCat member libraries worldwide
2D materials and devices beyond graphene : April 2125, 2014, San Francisco, California, USA by 2D Materials and Devices Beyond Graphene (Symposium)(
Book
)
3 editions published in 2014 in English and held by 11 WorldCat member libraries worldwide
3 editions published in 2014 in English and held by 11 WorldCat member libraries worldwide
GAMMA I : a general theoremproving program for the IBM 704 by
Argonne National Laboratory(
Book
)
3 editions published in 1961 in English and held by 10 WorldCat member libraries worldwide
GAMMA I is a FORTRANcompiled program for the IBM 704 Electronic DataProcessing Machine. It embodies a certain general, uniform procedure H of mathematical logic for seeking out a proof of any theorem within any mathematical theory which is given in formal axiomatic form. An extended discussion is provided of the underlying method and of the necessary background of mathematical logic. The program is described in detail
3 editions published in 1961 in English and held by 10 WorldCat member libraries worldwide
GAMMA I is a FORTRANcompiled program for the IBM 704 Electronic DataProcessing Machine. It embodies a certain general, uniform procedure H of mathematical logic for seeking out a proof of any theorem within any mathematical theory which is given in formal axiomatic form. An extended discussion is provided of the underlying method and of the necessary background of mathematical logic. The program is described in detail
Passages for secondary certificate French : an oral approach by
N White(
Book
)
6 editions published between 1965 and 1976 in 3 languages and held by 8 WorldCat member libraries worldwide
6 editions published between 1965 and 1976 in 3 languages and held by 8 WorldCat member libraries worldwide
Evolution in dentistry. Personal experience by
J. A Robinson(
Book
)
2 editions published in 1890 in English and held by 4 WorldCat member libraries worldwide
2 editions published in 1890 in English and held by 4 WorldCat member libraries worldwide
Address at the commencement of the Dental College, at Ann Arbor : March 24th, 1880. by
J. A Robinson(
Book
)
2 editions published in 1880 in English and held by 3 WorldCat member libraries worldwide
2 editions published in 1880 in English and held by 3 WorldCat member libraries worldwide
Fortschritte der Chemie organischer Naturstoffe vol. 58 by
Robert D. H Murray(
Book
)
2 editions published in 1991 in German and English and held by 3 WorldCat member libraries worldwide
0 e The volumes of this classic series, now referred to simply as "Zechmeister" after its founder, L. Zechmeister, have appeared under the Springer Imprint ever since the series' inauguration in 1938. The volumes contain contributions related to the origin, distribution, chemistry, synthesis, biochemistry, function or use of various classes of naturally occurring substances ranging from small molecules to biopolymers. Each contribution is written by a recognized authority in his field and provides a comprehensive and uptodate review of the topic in question. Addressed to biologists, technologists, and chemists alike, the series can be used by the expert as a source of information and literature citations and by the nonexpert as a means of orientation in a rapidly developing discipline
2 editions published in 1991 in German and English and held by 3 WorldCat member libraries worldwide
0 e The volumes of this classic series, now referred to simply as "Zechmeister" after its founder, L. Zechmeister, have appeared under the Springer Imprint ever since the series' inauguration in 1938. The volumes contain contributions related to the origin, distribution, chemistry, synthesis, biochemistry, function or use of various classes of naturally occurring substances ranging from small molecules to biopolymers. Each contribution is written by a recognized authority in his field and provides a comprehensive and uptodate review of the topic in question. Addressed to biologists, technologists, and chemists alike, the series can be used by the expert as a source of information and literature citations and by the nonexpert as a means of orientation in a rapidly developing discipline
Handbook of automated reasoning(
Book
)
3 editions published in 2001 in English and held by 2 WorldCat member libraries worldwide
3 editions published in 2001 in English and held by 2 WorldCat member libraries worldwide
Handbook of automated reasoning(
)
1 edition published in 2001 in English and held by 0 WorldCat member libraries worldwide
Handbook of Automated Reasoning
1 edition published in 2001 in English and held by 0 WorldCat member libraries worldwide
Handbook of Automated Reasoning
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Hogger, Christopher John Editor
 Gabbay, Dov M. 1945 Author Editor
 Voronkov, Andrei 1959 Editor
 Arbib, Michael A. Editor
 Rétey, J. (Janos) Author
 Plotkin, G. (Gordon) 1946 Editor
 Lassez, JeanLouis Editor
 Gabbay, Dov M. 1945 Editor
 Siekmann, J. Editor
 Ames, Mary Buckingham 1774 or 17751866
Associated Subjects
Ames family Artificial intelligence Automatic theorem proving Baccalaureate addresses Biochemistry Botany Chemistry Chemistry, Organic Computer programs Computer science EnglandNorfolk Enzymes Form (Logic) FORTRAN (Computer program language) French language French languageComposition and exercises Heuristic programming IBM 704 (Computer) Inference Letters Logic, Symbolic and mathematical Logic programming Manners and customs Neural networks (Computer science) New York (State)New York Parallel processing (Electronic computers) Pharmacy Predicate calculus Qualitative reasoning Reasoning Robinson, J. A.(John Alan) Stereochemistry Thin films Toxicology Writing