> Details

Fitting, Melvin [Author]

First-order logic and automated theorem proving - [2. ed.]

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: Book
  • Title: First-order logic and automated theorem proving
  • Contributor: Fitting, Melvin [Author]
  • imprint: New York; Heidelberg [u.a.]: Springer, 1996
  • Published in: Graduate texts in computer science
  • Issue: 2. ed.
  • Extent: XVI, 326 S; graph. Darst; 25 cm
  • Language: English
  • ISBN: 9781461275152; 0387945938
  • RVK notation: ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
  • Keywords: Prädikatenlogik > Stufe 1 > Automatisches Beweisverfahren
  • Origination:
  • Footnote: Literaturverz. S. [315] - 318

copies

(0)

Central Library – textbook collection (tbc)

  • Status: Loanable

Central Library – textbook collection (tbc)

  • Status: Loanable

Central Library – textbook collection (tbc)

  • Status: Loanable

Central Library – textbook collection (tbc)

  • Status: Loanable

Central Library – textbook collection (tbc)

  • Status: Loanable

Central Library – textbook collection (tbc)

  • Status: Loanable

Central Library – textbook collection (tbc)

  • Status: Loanable

Central Library – textbook collection (tbc)

  • Status: Loanable

Central Library – textbook collection (tbc)

  • Due date: 2024/08/07
  • Status: On loan, place hold

Departmental Library DrePunct – open access area

  • Status: Loanable

Departmental Library DrePunct – stack

  • Shelf-mark: 1997 8 004639 002
  • Item ID: 10428656
  • Status: Loanable, place order
Delivery expected: 1 - 2 days after order

Bestand der TU Dresden

  • Shelf-mark: 1997 8 004639 043
  • Item ID: XMOM1357378