Home/Producten/Automated Reasoning: 9th International Joint Conference, IJCAR 2018,…

Beschrijving

Over dit product

This book constitutes the refereed proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, held in Oxford, United Kingdom, in July 2018, as part of the Federated Logic Conference, FLoC 2018. In 2018, IJCAR unites CADE, TABLEAUX, and FroCoS, the International Symposium on Frontiers of Combining Systems, and, for the fourth time, is part of the Federated Logic Conference.
The 38 revised full research papers and 8 system descriptions presented together with two invited talks were carefully reviewed and selected from 108 submissions. The papers focus on topics such as logics, deductive systems, proof-search methods, theorem proving, model checking, verification, formal methods, and program analysis.

Boekdetails

Serie
Lecture Notes in Computer Science
Ondertitel
Lecture Notes in Computer Science
Formaat
Paperback / softback
Uitgever
Springer International Publishing AG
Imprint
Springer International Publishing AG
Auteur
Didier Galmiche || Stephan Schulz || Roberto Sebastiani, Springer International Publishing AG, Springer International Publishing AG
ISBN-13
9783319942049
Verschijningsdatum
2018-07-01
Editie
2018 ed.
Afmetingen
155 mm × 235 mm
Land van herkomst
NL

Paperback / softback

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

door Didier Galmiche || Stephan Schulz || Roberto Sebastiani

€ 75,10
Op voorraad14 werkdagen
Gratis verzending30 dagen bedenktijd
1

Gratis verzending

vanaf €20

30 dagen retour

zonder gedoe

Veilig betalen via iDEAL of Klarna

iDEAL · Klarna

Thuiswinkel Waarborg

Waarom je dit mooi vindt

  • Premium kwaliteit, zorgvuldig geselecteerd
  • Snelle levering, morgen in huis
  • Eenvoudig retourneren binnen 30 dagen
  • Veilig betalen via iDEAL of Klarna

MYBOEKEN

  • Algemene voorwaarden
  • Bedrijfsgegevens
  • Over Myboeken
  • Keurmerk
  • Klantenservice
  • Contact
  • Privacy
  • Gids
  • Volg bestelling

INFORMATIE

  • Bestellen
  • Bezorgen
  • Betalen
  • Retour
  • Veelgestelde vragen
  • Garantie & Klachten
  • Zakelijke bestellingen
  • Blogs

CONTACT

Effect 4, 6921 RV Duiven
026-2074646
10:00 – 16:00
[email protected]
0638045945

Nieuwsbrief

Ontvang de beste aanbiedingen en tips

PAYMENT

Bancontact
Direct bank
iDEAL
Klarna
PayPal
SOFORT
Visa

VOLG ONS

Strips & MangaKunst & fotografieKinderboekenStudie & WetenschapLevensstijlOverige
Thuiswinkel Waarborg
myboeken.nl

Myboeken is dé online boekwinkel voor zorgvuldig geselecteerde boeken. Snelle levering in Nederland & Europa.

PrivacyAlgemene Voorwaarden
© 2026 MYBOEKEN
myboeken.nl
BestsellersOfferteAanbiedingen
0
CategorieënBestsellersOfferteAanbiedingen

Aanbevolen

Misschien vind je dit ook leuk

Bekijk meer
Murdoku: 80 Murder Mystery Logic Puzzles: Volume 1 – The Perfect Gift for Puzzlers and Cosy Crime Fans!

Garand, M.

Murdoku: 80 Murder Mystery Logic Puzzles: Volume 1 – The Perfect Gift for Puzzlers and Cosy Crime Fans!

€ 22,50

Chanel: Collections and Creations

Danièle Bott

Chanel: Collections and Creations

€ 32,40

Japan: The Cookbook (Cucina)

Hachisu, Nancy Singleton

Japan: The Cookbook (Cucina)

€ 40,50

The World Atlas of Coffee: 2nd edition (old edition)

James Hoffmann

The World Atlas of Coffee: 2nd edition (old edition)

€ 25,20

National Geographic Stunning Photographs

Annie Griffiths

National Geographic Stunning Photographs

€ 30,60

The Rolling Stones All the Songs Expanded Edition: The Story Behind Every Track

Jean-Michel Guesdon || Philippe Margotin

The Rolling Stones All the Songs Expanded Edition: The Story Behind Every Track

€ 37,80

Louis Vuitton: A Perfume Atlas

Jacques Cavallier-Belletrud || Lionel Paillès || Aurore de la Morinerie

Louis Vuitton: A Perfume Atlas

€ 130,50

Ride: Cycle the World

DK Travel

Ride: Cycle the World

€ 20,70

Queen of Shadows: From the # 1 Sunday Times best-selling author of A Court of Thorns and Roses

Sarah J. Maas

Queen of Shadows: From the # 1 Sunday Times best-selling author of A Court of Thorns and Roses

€ 18,00

The Science of Animals: Inside their Secret World

DK

The Science of Animals: Inside their Secret World

€ 28,80

Populaire zoekopdrachten

Berserk Deluxe Volume 1

Berserk Deluxe Volume 1

9781506711980

Throne of Glass Box Set (Paperback): The complete series in paperback from the author of ACOTAR

Throne of Glass Box Set (Paperback): The complete series in paperback from the author of ACOTAR

9781526650535

The Hobbit and The Lord of the Rings: Deluxe Pocket Boxed Set: An Epic Fantasy Boxed Set of Tolkien's Quintessential Work

The Hobbit and The Lord of the Rings: Deluxe Pocket Boxed Set: An Epic Fantasy Boxed Set of Tolkien's Quintessential Work

9780544445789

Snel naar

Nieuwe releasestrending-on-tiktokCadeau-ideeën

Trending now

How to Build a Car: The Autobiography of the World’s Greatest Formula 1 Designer

How to Build a Car: The Autobiography of the World’s Greatest Formula 1 Designer

Newey, Adrian

The Science of Animals: Inside their Secret World

The Science of Animals: Inside their Secret World

DK

The Rolling Stones All the Songs Expanded Edition: The Story Behind Every Track

The Rolling Stones All the Songs Expanded Edition: The Story Behind Every Track

Jean-Michel Guesdon || Philippe Margotin

Ride: Cycle the World

Ride: Cycle the World

DK Travel

0
Home
0
Cart

Serie & gerelateerd

Meer over Lecture

Bekijk meer
The Last Lecture Rough Cut

Pausch, Randy

The Last Lecture Rough Cut

€ 24,11

A Lecture To Young Men On The Preservation Of Health, By A Graduate

Lecture

A Lecture To Young Men On The Preservation Of Health, By A Graduate

€ 26,71

Darwin or Design? What Biology Reveals About the Secrets of Life: Intelligent Design Introductory Guide

Scott S Chandler

Darwin or Design? What Biology Reveals About the Secrets of Life: Intelligent Design Introductory Guide

€ 22,87

Prohibition Bombs V1, January, 1886 To April, 1886: Tracts For The Times (1886)

Prohibition Lecture Bureau

Prohibition Bombs V1, January, 1886 To April, 1886: Tracts For The Times (1886)

€ 45,17

Carnet De Lecture: Mes Lectures Parfait cadeau pour les lecteurs et lectrices Format (15.24 x 22.86 cm),130 Pages.

Carnet Lecture

Carnet De Lecture: Mes Lectures Parfait cadeau pour les lecteurs et lectrices Format (15.24 x 22.86 cm),130 Pages.

€ 18,00

carnet de mes lectures: Carnet de suivi de lectures dédié aux passionné(e)s de livres

Livres Lecture

carnet de mes lectures: Carnet de suivi de lectures dédié aux passionné(e)s de livres

€ 18,00

Mon carnet de lecture: Mes lectures 100 Fiches de lecture à compléter 130 Pages.

Cadeau Lecture

Mon carnet de lecture: Mes lectures 100 Fiches de lecture à compléter 130 Pages.

€ 18,00

Mon Carnet De Lecture: Mes livres 100 Fiches de lecture à remplir Idéal cadeau pour les lecteurs et lectrices 130 Pages.

Cadeau Lecture

Mon Carnet De Lecture: Mes livres 100 Fiches de lecture à remplir Idéal cadeau pour les lecteurs et lectrices 130 Pages.

€ 18,00

Comment maîtriser ses émotions pour les enfants: 40 histoires originales pour aider les enfants à gérer leurs émotions

P'Tite Lecture

Comment maîtriser ses émotions pour les enfants: 40 histoires originales pour aider les enfants à gérer leurs émotions

€ 22,44

Comment se Faire des Amis pour les Enfants: 40 histoires originales pour explorer l'art de nouer des amitiés durables et sincères

P'Tite Lecture

Comment se Faire des Amis pour les Enfants: 40 histoires originales pour explorer l'art de nouer des amitiés durables et sincères

€ 24,12