Capa do artigo Set Theory For Computing
10% OFF

Set Theory For Computing eBook

From Decision Procedures To Declarative Programming With Sets

by Domenico Cantone, Alberto Policriti e Eugenio Omodeo
language: english
Publisher: SPRINGER NEW YORK, June of 2013 ‧
171,59€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
Presents a comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.

Set Theory For Computing

From Decision Procedures To Declarative Programming With Sets

by Domenico Cantone, Alberto Policriti e Eugenio Omodeo

Property Description
ISBN: 9781475734522
Publisher: SPRINGER NEW YORK
Release Date: June of 2013
Language: English
Format: eBook
File Format and Compatibility: PDF para ADE
Collection: Monographs In Computer Science
Categories: eBooks in English > Science > Mathematics
eBooks in English > Computing > Other Applications
EAN: 9781475734522

BOOKS FROM THE SAME COLLECTION

SEE MORE TITLES FROM THIS COLLECTION

DOMENICO CANTONE

SEE MORE TITLES BY THIS AUTHOR

ALBERTO POLICRITI

SEE MORE TITLES BY THIS AUTHOR