E-Books - Mathematical logic

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: 1207 Kč (€ 48.3)

Format: E-Book, Publisher: Taylor and Francis

Availability: E-book delivered electronically online

Time & Logic

A Computational Approach

Price for Eshop: 1207 Kč (€ 48.3)

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

Mathematics of Casino Carnival Games

Price for Eshop: 1958 Kč (€ 78.3)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Mathematics of Casino Carnival Games

Price for Eshop: 1958 Kč (€ 78.3)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Formal Aspects of Context

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online