Library
Your session will expire automatically in
0
seconds.
Continue session
End session now
SearchType
TITLE
KEYWORD
AUTHOR
SUBJECT
BJL CLASSMARK
KDL CLASSMARK
PERIODICAL TITLE
ISN
RESOURCE NAME
RESOURCE SUBJECT
Search
Search Scope
BJL, Hull
KDL, Scarborough
All Libraries
Limit search to available items
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.
Location/Availability
More Details
Find Similar Items
Full Record
Print Version
Web View
Click on the following to:
Full text available from SpringerLink ebooks - Computer Science (2011)
Persistent link to this item
Click link and copy URL from browser navigation toolbar
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:
Persistent link to this item
Click link and copy URL from browser navigation toolbar
