Capa do artigo Logic For Computer Science

Logic For Computer Science

Foundations Of Automatic Theorem Proving, Second Edition

by Jean Gallier
language: english
Publisher: DOVER PUBLICATIONS INC., June of 2015 ‧
35,39€
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book

Logic For Computer Science

Foundations Of Automatic Theorem Proving, Second Edition

by Jean Gallier

Property Description
ISBN: 9780486780825
Publisher: DOVER PUBLICATIONS INC.
Release Date: June of 2015
Language: English
Dimensions: 155 x 234 x 20 mm
Cover: Softcover
Pages: 544
Format: Book
Collection: Dover Books On Computer Science
Categories: Books in English > Science > Mathematics
Books in English > Others
EAN: 9780486780825

JEAN GALLIER

SEE MORE TITLES BY THIS AUTHOR