Start Over Please hold this item Export MARC Display
 
     
Limit search to available items
Record: Previous Record Next Record
Conference ITP 2011 (2011 : Berg en Dal, Netherlands)
Title Interactive theorem proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 : proceedings / Marko van Eekelen ... [et al.] (eds.).
Publication Info New York : Springer, 2011.



Descript xi, 382 p. : ill. (some col.).
ISBN 9783642228629 (soft cover : alk. paper)
3642228623 (soft cover : alk. paper)
9783642228636 (e-book)
Click on the terms below to find similar items in the catalogue
Conference ITP 2011 (2011 : Berg en Dal, Netherlands)
Series Lecture notes in computer science, 6898
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 6898.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Subject Automatic theorem proving -- Congresses.
Alt author ebrary, Inc.
Eekelen, M. C. J. D. van.
Descript xi, 382 p. : ill. (some col.).
ISBN 9783642228629 (soft cover : alk. paper)
3642228623 (soft cover : alk. paper)
9783642228636 (e-book)
Conference ITP 2011 (2011 : Berg en Dal, Netherlands)
Series Lecture notes in computer science, 6898
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 6898.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Subject Automatic theorem proving -- Congresses.
Alt author ebrary, Inc.
Eekelen, M. C. J. D. van.

Subject Automatic theorem proving -- Congresses.
Descript xi, 382 p. : ill. (some col.).
Alt author ebrary, Inc.
Eekelen, M. C. J. D. van.
ISBN 9783642228629 (soft cover : alk. paper)
3642228623 (soft cover : alk. paper)
9783642228636 (e-book)

Links and services for this item: