Automated Theory Formation in Pure Mathematics | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Automated Theory Formation in Pure Mathematics
  • #
  • #

Automated Theory Formation in Pure Mathematics

106.99 EUR

Teilen:

Ähnliche Produkte

Automated Theory Formation in Pure Mathematics

Automated Theory Formation in Pure Mathematics

101.54 EUR
Automated Theorem Proving: Theory and Practice

Automated Theorem Proving: Theory and Practice

111.98 EUR
Proof Theory and Automated Deduction (Applied Logic Series, 6, Band 6)

Proof Theory and Automated Deduction (Applied Logic Series, 6, Band 6)

48.98 EUR
Text Mining

Text Mining

128.39 EUR
Practice and Theory of Automated Timetabling V: 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected ... Notes in Computer Science, 3616, Band 3616)

Practice and Theory of Automated Timetabling V: 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected ... Notes in Computer Science, 3616, Band 3616)

53.24 EUR
Practice and Theory of Automated Timetabling III

Practice and Theory of Automated Timetabling III

53.49 EUR