WorldCat Identities

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 multi-volume 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 well-regarded 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 in-depth 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
Natural and artificial parallel computation( Book )

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; Flavin-dependent redox reactions; Aldol and claisen tupe condensations; Biotin-dependent 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; Addition-elimination 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
Computational logic : essays in honor of Alan Robinson( Book )

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 / - Meta-languages, reflection principles, and self-reference / Donald Perlis, V.S. Subrahmanian / - Classical vs non-classical logics (the universal-ity 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, 1837-1847 by John Alfred ROBINSON( Book )

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

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 /
Looking at language by J. A Robinson( Book )

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

2D materials and devices beyond graphene : April 21-25, 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

GAMMA I : a general theorem-proving 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 FORTRAN-compiled program for the IBM 704 Electronic Data-Processing 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

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

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

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 up-to-date 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 non-expert 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

Handbook of automated reasoning( )

1 edition published in 2001 in English and held by 0 WorldCat member libraries worldwide

Handbook of Automated Reasoning
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.56 (from 0.11 for Handbook o ... to 0.87 for Handbook o ...)

Handbook of logic in artificial intelligence and logic programming
Alternative Names
Robinson, Alan

Robinson, Alan 1937-

Robinson, Alan (John Alan)

Robinson, J. A.

Robinson, J. A. (John Alan)

Robinson, J. Alan.

Robinson, John Alan

Languages
English (148)

German (4)

French (1)

Covers
Handbook of automated reasoningComputational logic : essays in honor of Alan RobinsonHandbook of logic in artificial intelligence and logic programmingHandbook of logic in artificial intelligence and logic programmingHandbook of logic in artificial intelligence and logic programmingHandbook of automated reasoningHandbook of automated reasoning