> Details

Schmidt-Schauß, Manfred [Author]

Computational aspects of an order-sorted logic with term declarations

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; Thesis
  • Title: Computational aspects of an order-sorted logic with term declarations
  • Contributor: Schmidt-Schauß, Manfred [Author]
  • imprint: Berlin; Heidelberg; New York; London; Paris; Tokyo: Springer, 1989
  • Published in: Lecture notes in computer science ; 395
  • Extent: VIII, 171 S; graph. Darst
  • Language: English
  • ISBN: 3540517057; 0387517057
  • RVK notation: SS 4800 : Lecture notes in computer science
  • Keywords: Unifikationstheorie > Ordnungssortierte Logik
  • Origination:
  • University thesis: Zugl.: Kaiserslautern, Univ., Diss. : 1988
  • Footnote: Literaturverz. S. [156] - 166

copies

(0)

Central Library – stack

  • Shelf-mark: 0792 01170 001
  • Item ID: 10064616
  • Status: Loanable, place order