Research Catalog

A computational logic handbook

Title
A computational logic handbook / Robert S. Boyer, J Strother Moore.
Author
Boyer, Robert S.
Publication
Boston : Academic Press, ©1988.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA76.9.A96 B684 1988Off-site

Details

Additional Authors
Moore, J Strother, 1947-
Description
xvi, 408 pages; 24 cm.
Series Statement
Perspectives in computing ; vol. 23
Uniform Title
Perspectives in computing (Boston, Mass.) ; vol. 23.
Subject
  • Automatic theorem proving
  • Logic, Symbolic and mathematical
  • Mathematische Logik
  • Logica
  • Automatische bewijsvoering
  • Théorèmes > Démonstration automatique
  • Logique mathématique
Note
  • Includes index.
Bibliography (note)
  • Bibliography: p. 397-399.
ISBN
  • 0121229521
  • 9780121229528
LCCN
88022175
OCLC
  • ocm18191851
  • 18191851
  • SCSB-1727440
Owning Institutions
Princeton University Library