E-Books - Mathematical logic

Wissensbasierte Systeme

3. Internationaler GI-Kongre Munchen, 16.-17. Oktober 1989 Proceedings

Price for Eshop: 1013 Kč (€ 40.5)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Lattice Basis Reduction

An Introduction to the LLL Algorithm and Its Applications

Price for Eshop: 1860 Kč (€ 74.4)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Proofs and Confirmations

The Story of the Alternating-Sign Matrix Conjecture

Price for Eshop: 1126 Kč (€ 45.0)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Ranking and Prioritization for Multi-indicator Systems

Introduction to Partial Order Applications

Price for Eshop: 2520 Kč (€ 100.8)

Format: E-Book, Publisher: Springer New York

Availability: E-book delivered electronically online

Logical Skills

Social-Historical Perspectives

Price for Eshop: 2802 Kč (€ 112.1)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Papers in Honour of Bernhard Banaschewski

Proceedings of the BB Fest 96, a Conference Held at the University of Cape Town, 15-20 July 1996, on Category Theory and its Applications to Topology, Order and Algebra

Price for Eshop: 3647 Kč (€ 145.9)

Format: E-Book, Publisher: Springer Netherlands

Availability: E-book delivered electronically online

Mathematics of Quantum Computation

Price for Eshop: 2089 Kč (€ 83.6)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Essential Stability Theory

Price for Eshop: 3773 Kč (€ 150.9)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online

Rippling: Meta-Level Guidance for Mathematical Reasoning

Price for Eshop: 3098 Kč (€ 123.9)

Format: E-Book, Publisher: Cambridge University Press

Availability: E-book delivered electronically online