Cover von Automated reasoning with analytic tableaux and related methods opens in new tab

Automated reasoning with analytic tableaux and related methods

international conference, Rome, Italy, September 9 - 12, 2003 : proceedings
Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 2796
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: LNAI 2796 Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

International conference on analytic tableaux and related methods <2003, Rome>

Details

Search for this author
Year: 2003
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 3-540-40787-1
Description: X, 270 S.
Series: Lecture notes in artificial intelligence; 2796
Participating parties: Search for this character Mayer, Marta Cialdea; Pirri, Fiora
Parallel title: TABLEAUX 2003
Media group: MONOGRAPHIE