Logic For Computer Science

Name: Logic For Computer Science
Price: 35.39 EUR
Author: Jean Gallier
ISBN: 9780486780825

Foundations Of Automatic Theorem Proving, Second Edition

by Jean Gallier

language: english

Publisher: DOVER PUBLICATIONS INC., June of 2015 ‧ see product details

(0)

35,39€

OUT OF STOCK OR NOT AVAILABLE

article alert available again

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