Towards Mechanized Mathematical Assistants

indgår i serie Lecture Notes in Computer Science


Studiebog
Towards Mechanized Mathematical Assistants
Du sparer Spar kr. 30,00 med Shopping-fordele
  • Leveringstid 5-8 hverdage (Sendes fra fjernlager)
  • Forventet levering 29-09-2021
For at købe bogen til fordelspris skal du have et medlemskab med Shopping-fordele.
Du kan prøve medlemskabet gratis i 30 dage. Medlemskabet fornyes automatisk og kan altid opsiges.
Format:
Bog, paperback
Udgivelsesdato:
01-06-2007
Sprog:
Engelsk
Udgave:
2007 ed..
  • Beskrivelse
  • Yderligere info
  • Anmeldelser

This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006, held in Hagenberg, Austria in June 2007 as events of the RISC Summer 2007, organized by the Research Institute for Symbolic Computation.

Vis mereVis mindre

Udgivelsesdato:
01-06-2007
ISBN13:
9783540730835
Vægt:
646 g
Dybde:
24 mm
Bredde:
155 mm
Højde:
235 mm
Nummer i serien:
4573
Format:
Paperback
Forfattere

    Vis mereVis mindre

    Vis mereVis mindre

    Fandt du ikke hvad du søgte?

    Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.

    Velkommen til Saxo – din danske boghandel!

    Hos os kan du handle som gæst, Saxo-bruger eller Premium-medlem – du bestemmer helt selv. Skulle du få brug for hjælp, sidder vores kundeservice-team klar ved både telefonerne og tasterne.

    Om fordelspriser hos Saxo

    For at købe bøger til fordelspris, skal du være medlem af Premium, Premium Shopping eller Premium Studie. De første 30 dage er gratis for nye medlemmer. Medlemskabet fornyes automatisk og kan altid opsiges. Læs mere om fordelene ved vores forskellige medlemskaber her.

    Machine Name: SAXO081