Automated Deduction in Geometry 1
bokomslag Automated Deduction in Geometry
Data & IT

Automated Deduction in Geometry

Francisco Botana • Pedro Quaresma

Pocket

609:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 181 sidor
  • 2015
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry.
  • Författare: Francisco Botana, Pedro Quaresma
  • Illustratör: Bibliographie 54 schwarz-weiße Abbildungen
  • Format: Pocket/Paperback
  • ISBN: 9783319213613
  • Språk: Engelska
  • Antal sidor: 181
  • Utgivningsdatum: 2015-07-27
  • Förlag: Springer International Publishing AG

Du kanske gillar

  1. bokomslag Computational Processing of the Portuguese Language

    Computational Processing of the Portu...

    Renata Vieira, Paulo Quaresma, Maria Das Graas Volpe Nunes, Nuno J Mamede, Cludia Oliveira

    Pocket

    759:-
  2. bokomslag Automated Deduction in Geometry

    Automated Deduction in Geometry

    Tomas Recio Francisco Botana

    Pocket

    759:-
  3. bokomslag Automated Deduction in Geometry

    Automated Deduction in Geometry

    Xiao-Lu Gao, Dongming Wang, Lu Yang

    Pocket

    789:-
  4. bokomslag Experimental IR Meets Multilinguality, Multimodality, and Interaction

    Experimental IR Meets Multilinguality...

    Norbert Fuhr, Paulo Quaresma, Teresa Gonalves, Birger Larsen, Krisztian Balog

    Pocket

    759:-
  5. bokomslag Information Systems for Industry 4.0

    Information Systems for Industry 4.0

    Isabel Ramos, Rui Quaresma, Paulo Silva, Tiago Oliveira

    Pocket

    1509:-
  6. bokomslag Automated Deduction in Geometry

    Automated Deduction in Geometry

    Pascal Schreck, Julien Narboux, Jrgen Richter-Gebert

    Pocket

    759:-
  7. bokomslag Automated Deduction in Geometry

    Automated Deduction in Geometry

    Jacques Fleuriot Tetsuo Ida

    Pocket

    709:-
  8. bokomslag Automated Deduction in Geometry

    Automated Deduction in Geometry

    Dongming Wang Hoon Hong

    Pocket

    759:-
  9. Hitster Rock

    Hitster Rock

    Spel, Hitster

    299:- (349:-)
  10. bokomslag Climate Change and Marine and Freshwater Toxins

    Climate Change and Marine and Freshwa...

    Luis M Botana, Carmen Louzao, Natalia Vilario

    Inbunden

    3649:-