Liknande böcker

Nonsymmetric Operads in Combinatorics
Bok av Samuele Giraudo
Creativity in Computing and DataFlow SuperComputing
Bok
Rewriting techniques and applications : Dijon, France, May 20-22, 1985
Bok av Jean-Pierre Jouannaud
Rewriting Techniques and Applications : 4th International Conference, RT...
Bok av Ronald V Book
Concrete mathematics : a foundation for computer science
Bok av Ronald L. Graham
Automata, Languages and Programming : 36th Internatilonal Collogquium, I...
Bok av Susanne. Albers
Clinical Rehabilitation Experience Utilizing Serious Games : Rehabilitat...
Bok av Michael Lawo
Metric Learning: A Survey
Bok av Brian Kulis

Set Theory for Computing

Bok av Domenico Cantone
An up-to-date and 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.
3 utgåvor
Välj utgåva
Alla
Visa alla 3 utgåvor
Set Theory for Computing : From Decision Procedures to Declarative Progr...Engelska - Pocket
ISBN: 9781441929051
Set Theory for Computing : From Decision Procedures to Declarative Progr...Engelska - Inbunden
ISBN: 9780387951973
Set Theory for Computing : From Decision Procedures to Declarative Progr...Engelska - E-bok
ISBN: 9781475734522
Visa pris inkl. frakt Inkl. frakt
Adlibris
1854 kr fri frakt
Finns i lager
Till butik
Set Theory for Computing : From decision procedures to declarative programming with sets
1854 kr
Finns i lager
Bokus
1959 kr fri frakt
Finns i lager
Till butik
Set Theory for Computing : From Decision Procedures to Declarative Programming with Sets
1959 kr
Finns i lager
Listan innehåller betalda länkar
Vilka butiker visas?