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.99 € GLS-Kurier 5.49 € DPD-Kurier 4.99 € DPD-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Automated Reasoning

Name: Automated Reasoning
Brand: Springer International Publishing AG
SKU: 10929148
Price: 81.49 EUR
Availability: InStock
Author: Nicola Olivetti
ISBN: 9783319402284

8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings

Nicola Olivetti

Ashish Tiwari

Sprache

Englisch

Buch Broschur

Libristo-Code: 10929148

Verlag Springer International Publishing AG, Juni 2016

This book constitutes the refereed proceedings of the 8th International Joint Conference on Automate... Vollständige Beschreibung

Libristo-Code: 10929148

199 b

81.49 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Trefl Dřevěná vkládačka Pod vodou

Spielzeug

6.29 €

Ma mare, una època, uns costums, un testimoni Colom Calafat

Broschur

23.79 €

Coloriages Mystères Trompe l'oeil tome 3 Eugénie Varone

Broschur

18.39 €

POLICIA NACIONAL. ESCALA BASICA. TEMARIO 1

Broschur

50.99 €

La Sorbonne entre en guerre de religion Amalou

Broschur

79.09 €

Bastard Jaroslav Mostecký

Hardcover

6.39 €

SpongeBob 7/2023

Drucksachen

2.59 €

Die Dame mit dem Hündchen, Russisch/Deutsch Anton Tschechow

Broschur

6.49 €

I Love Autumn (English Turkish Bilingual Book for Kids) Kidkiddos Books

Hardcover

25.99 €

Oversigt Over Det Kongelige Danske Videnskabernes Selskabs Forhandlinger... Kongelige Danske Videnskabernes Selskab

Broschur

22.49 €

Alla scoperta d'uno scrittore...timido Andrea Giovannini

Broschur

7.59 €

Milano. Un secolo di architettura milanese-A Century of Milanese Architecture Giuliana Gramigna

Hardcover

119.14 €

Cantiques Pour Le Cathechisme LIBRAIRIE CATHOLIQUE

Broschur

13.19 €

Siquirres, Canton Centenario Quince Duncan

Broschur

47.89 €

Lieder ohne Worte,Hefte 5-8 Ronald Brautigam

Audio CD

22.80 €

Nous Le Sommes Tous, Ou l'Egoisme. Tome 1 Pigault-Lebrun

Broschur

19.39 €

Le crime du comte Neville Amélie Nothomb

Broschur

17.39 €

Gotteskontakt Willi Lambert

Hardcover

9.90 €

Und tief in der Seele das Ferne Katharina Elliger

Broschur

16.00 €

This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods).§§The 26 revised full research papers and 9 system descriptions presented together with 4 invited talks were carefully reviewed and selected from 79 submissions. The papers have been organized in topical sections on satisfiability of Boolean formulas, satisfiability modulo theory, rewriting, arithmetic reasoning and mechanizing mathematics, first-order logic and proof theory, first-order theorem proving, higher-order theorem proving, modal and temporal logics, non-classical logics, and verification.§§

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 Automated Reasoning

Autor Nicola Olivetti, Ashish Tiwari

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2016

Anzahl der Seiten 580

EAN 9783319402284

ISBN 9783319402284

Libristo-Code 10929148

Verlag Springer International Publishing AG

Gewicht 8949

Abmessungen 155 x 235 x 35

Kategorie

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

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

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

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

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