Skip to content
VuFind
  • 0 Items in e-Shelf (Full)
  • History
  • User Account
  • Logout
  • User Account
  • Help
    • English
    • Deutsch
  • Books & more
  • Articles & more
  • JuSER
Advanced
 
  • Literature Request
  • Cite this
  • Email this
  • Export
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
    • Export to MARC
    • Export to MARCXML
    • Export to BibTeX
  • Favorites
  • Add to e-Shelf Remove from e-Shelf
Cover Image

Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier.

Propositional logic

Saved in:
Personal Name(s): Gallier, J. H.
Imprint: New York, NY : Harper and Row, 1986.
Physical Description: XV, 511 S.
Note: englisch
ISBN: 9780060422257
0060422254
Series Title: Harper and Row computer science and technology series ; 5.
Subject (ZB):
PROLOG (programming language)
Classification:
MDB - Logics
Shelf Classification:
MDB - Logik
  • Holdings
  • Staff View

ZB
Reading Room Call Number: MDB 022 Barcode: 1089102330 Available   

  • Forschungszentrum Jülich
  • Central Library (ZB)
  • Powered by VuFind 6.1.1
Loading...