Ebók

Applied Logic for Computer Scientists

Computational Deduction and Formal Proofs

Mauricio Ayala-Rincón; Flávio L. C. de Moura

Springer Nature

Prísur

339,95 kr.

Vørulýsing av

Applied Logic for Computer Scientists

Finn líknandi bøkur her

Comprehensive Mathematics for Computer Scientists 1

Guerino Mazzola; Gérard Milmeister; Jody Weissmann

559,95 kr.

Comprehensive Mathematics for Computer Scientists 2

Guerino Mazzola; Gérard Milmeister; Jody Weissmann

559,95 kr.

Logic Functions and Equations

Christian Posthoff; Bernd Steinbach

599,95 kr.

Quaternions for Computer Graphics

John Vince

484,95 kr.

Mathematics of Discrete Structures for Computer Science

Gordon J. Pace

374,95 kr.

Applying Fuzzy Logic for the Digital Economy and Society

1.049,95 kr.

Modelling Computing Systems

Faron Moller; Georg Struth

369,95 kr.

Neighborhood Semantics for Modal Logic

Eric Pacuit

299,95 kr.

Sets, Logic and Maths for Computing

David Makinson

374,95 kr.

Probabilistic Logic Networks

Ben Goertzel; Matthew Iklé; Izabela Freire Goertzel; Ari Heljakka

1.049,95 kr.

Enric Trillas: A Passion for Fuzzy Sets

Author

679,95 kr.

User Manual for the Interactive Geometry Software Cinderella

Jürgen Richter-Gebert; Ulrich H. Kortenkamp

114,95 kr.