FEEDBACK Smiley face
Normal view MARC view ISBD view

Interactive Theorem Proving [electronic resource] :9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /

Contributor(s): Avigad, Jeremy [editor.] | Mahboubi, Assia [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Theoretical Computer Science and General Issues: 10895Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Edition: 1st ed. 2018.Description: XVII, 642 p. 103 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783319948218.Subject(s): Computer Science | Computer science | Software engineering | Artificial intelligence | Logic design | Computer system performance | Mathematical Logic and Formal Languages | Software Engineering | Artificial Intelligence | Logics and Meanings of Programs | Programming Languages, Compilers, Interpreters | System Performance and EvaluationOnline resources: Click here to access online In: Springer eBooksSummary: Chapters 2, 10, 26, 29, 30 and 37 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
No physical items for this record

Chapters 2, 10, 26, 29, 30 and 37 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

There are no comments for this item.

Log in to your account to post a comment.

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in