Model checking and artificial intelligence: 5th international workshop ; revised selected and… by MoChArt, Patras) fromLecture Notes in Computer Science 0 Type: Book
Interactive theorem proving and program development: Coq'Art: the calculus of inductive constructions by Bertot, Yves, Castéran, Pierre fromTexts in theoretical computer science : an EATCS series 0 Type: Book
