E-Books - Mathematical logic

Algebraizable Logics

Price for Eshop: 653 Kč (€ 26.1)

Format: E-Book, Publisher: American Mathematical Society

Availability: E-book delivered electronically online

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: 1109 Kč (€ 44.4)

Format: E-Book, Publisher: Taylor and Francis

Availability: E-book delivered electronically online

Time & Logic

A Computational Approach

Price for Eshop: 1109 Kč (€ 44.4)

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