Logic of computation: proceedings of the NATO Advanced Study Institute on Logic of Computation, held… - SLUB Dresden

Media type: Book; Conference Proceedings

Title: Logic of computation : [proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25 - August 6, 1995]

Contributor: Schwichtenberg, Helmut [Editor]

Event: Advanced Study Institute on Logic of Computation

Published: Berlin; Heidelberg; New York; Barcelona; Budapest; Hong Kong; London; Milan; Paris; Santa Clara; Singapore; Tokyo: Springer, 1997

Extent: VI, 394 S.

Language: English

ISBN: 3540629637

RVK notation: SD 1995 : Veranstaltungsjahr 1995
SS 1995 : Veranstaltungsjahr 1995

Keywords: Typentheorie
Logische Programmierung
Automatisches Beweisverfahren
Algebraische Spezifikation
Computeralgebra
Typentheorie
Logische Programmierung
Automatisches Beweisverfahren
Algebraische Spezifikation
Computeralgebra

Origination:

Footnote: Proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-August 6, 1995

Logic of computation

Bookmarks

copies

Departmental Library DrePunct – stack

Search in field:

Recently searched for:

Departmental Library DrePunct – stack