Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Intelligent Computer Mathematics

Name: Intelligent Computer Mathematics
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01570381
Price: 50.99 EUR
Availability: InStock
Author: Serge Autexier
ISBN: 9783540851097

9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings

Sprache

Englisch

Buch Broschur

Libristo-Code: 01570381

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juli 2008

This book constitutes the joint refereed proceedings of the 9th International Conference on Artifici... Vollständige Beschreibung

Libristo-Code: 01570381

125 b

50.99 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Seul le silence R.J. Ellory

Broschur

22.79 €

Souvenirs Entomologiques: Etudes Sur l'Instinct Et Les Moeurs Des Insectes. Serie 9 FABRE-J

Broschur

27.09 €

Villages Truffiers (Les) N

Broschur

16.99 €

I sogni dell'Anarchico Ugo Mioni

Broschur

11.59 €

Stavnsbandet Peter Henningsen

Adobe ePub DRM

19.89 €

LOS COMPACUENTOS LOS COMPAS Y LA MANSION DE CHOCOLATE MIKECRACK

Buch

20.09 €

Cemento óseo de nueva generación con liberación sostenible de antibióticos Wai Kiong Ng

Broschur

31.69 €

PREMATURE PATRICK MILIOTI

Broschur

19.09 €

Reponse de la Municipalite Du Bourg de la Guillotiere, En Dauphine A La Requete JANIN DE COMBE BLANC

Broschur

12.89 €

Calendrier du Paris Saint-Germain 2022 collegium

Hardcover

18.39 €

Historia de las Indias por Bartolomé de las Casas 4º parte Salvá Munar

Hardcover

71.89 €

Musik für Blechbläserseptett Vol.7 George Gershwin

Audio CD

12.99 €

Suddeutsche Lehenrechtsgesetzgebung im 19. Jahrhundert Philipp Becker

Broschur

64.00 €

La Grande drive des esprits Gisèle Pineau

Broschur

9.39 €

LE TAROT DE MARSEILLE - COFFRET - LE LIVRE & LE JEU OFFICIEL DE 78 LAMES Silvestre

binding.

27.09 €

4 dobrodružné hry Lucie Ernestová

Leporello

10.19 €

Astonishing X-Men, Imparable John . . . [et al. ] Cassaday

Broschur

22.29 €

Oz Hans Christian Andersen

Hardcover

29.90 €

CD-Najkrajšie rozprávky P. Dobšinského(3) neuvedený autor

Audio CD

4.79 €

Codigo Das Leis Direito Privado de Hammurabi Rei de Babylonia (1903) Eduardo Alves De Sa

Broschur

17.19 €

Telearbeit Erfolgreich Realisieren Norbert Kordey

Broschur

69.99 €

Glück(lich) bin ICH Ayse Zülfer Avciogullari

Broschur

5.59 €

Cahier: Retour ? l'école, rentrée scolaire - Cahier quadrillé 5x5 grand format (A4), 120 pages - Licorne Caroline Picot

Broschur

7.99 €

This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK, in July/August as CICM 2008, the Conferences on Intelligent Computer Mathematics.§The 14 revised full papers for AISC 2008, 10 revised full papers for Calculemus 2008, and 18 revised full papers for MKM 2008, plus 5 invited talks, were carefully reviewed and selected from a total of 81 submissions for a joint presentation in the book. The papers cover different aspects of traditional branches in CS such as computer algebra, theorem proving, and artificial intelligence in general, as well as newly emerging ones such as user interfaces, knowledge management, and theory exploration, thus facilitating the development of integrated mechanized mathematical assistants that will be routinely used by mathematicians, computer scientists, and engineers in their every-day business.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Intelligent Computer Mathematics

Autor Serge Autexier, John Campbell, Julio Rubio, Volker Sorge

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2008

Anzahl der Seiten 602

EAN 9783540851097

ISBN 3540851097

Libristo-Code 01570381

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 937

Abmessungen 155 x 235 x 34

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

EDV und Informationstechnologie > Computing & IT: Benutzerhandbücher > Internet Guides und Onlinedienste > Internetrecherche, Suchmaschinen

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

EDV und Informationstechnologie > Computerhardware > Wartung und Reparaturen, IT

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Datenbanken > Data Mining

EDV und Informationstechnologie > Datenbanken > Informationsrückgewinnung, Information Retrieval

EDV und Informationstechnologie > Computernetzwerke und maschinelle Kommunikation

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert