To results list
Cover von The resolution calculus opens in new tab

The resolution calculus

Author: Search for this author Leitsch, Alexander
Statement of Responsibility: Alexander Leitsch
Year: 1997
Publisher: Berlin, Springer
Series: Texts in theoretical computer science
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: LEITSCH ALEXANDER Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Details

Author: Search for this author Leitsch, Alexander
Statement of Responsibility: Alexander Leitsch
Year: 1997
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 3-540-61882-1
Description: VIII, 300 S.
Series: Texts in theoretical computer science
Search for this character
Media group: MONOGRAPHIE