E-Books - Mathematical logic

Complexity and Real Computation

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer New York

Availability: E-book delivered electronically online

Cellular Automata and Cooperative Systems

Price for Eshop: 7026 Kč (€ 281.0)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

Complexity of Infinite-Domain Constraint Satisfaction

Price for Eshop: 3548 Kč (€ 141.9)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Logic, Language, and Probability

A Selection of Papers Contributed to Sections IV, VI, and XI of the Fourth International Congress for Logic, Methodology, and Philosophy of Science, Bucharest, September 1971

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

Fuzzy-Logik

Einfuhrung in die algebraischen und logischen Grundlagen

Price for Eshop: 997 Kč (€ 39.9)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Time & Logic

A Computational Approach

Price for Eshop: 1142 Kč (€ 45.7)

Format: E-Book, Publisher: Taylor and Francis

Availability: E-book delivered electronically online

Time & Logic

A Computational Approach

Price for Eshop: 1142 Kč (€ 45.7)

Format: E-Book, Publisher: Taylor and Francis

Availability: E-book delivered electronically online

Computer Arithmetic and Formal Proofs

Verifying Floating-point Algorithms with the Coq System

Price for Eshop: 3732 Kč (€ 149.3)

Format: E-Book, Publisher: Elsevier Science

Availability: E-book delivered electronically online

Automata Implementation

4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online