Name: Automated Deduction CADE-13
Price: 1153.95 DKK
Availability: InStock
Author: M. McRobbie
ISBN: 9783540615118

Automated Deduction CADE-13 af M. McRobbie

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
1.153,95 kr.

Bag om Automated Deduction CADE-13

This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96.The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.

Vis mere

Sprog:
Engelsk

ISBN:
9783540615118

Forlag:
Springer-Verlag GmbH

Indbinding:
Paperback

Udgivet:
1. juli 1996

Størrelse:
154x43x233 mm.

Vægt:
1156 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 12. december 2024

På lager

Forlænget returret til d. 31. januar 2025

Normalpris

BLACK FRIDAY
: :

1.153,95 kr. + Fragt
~~1.153,95 kr.~~

Medlemspris

1.103,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om M. McRobbie

Vis alle bøger af M. McRobbie

Beskrivelse af Automated Deduction CADE-13

This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96.The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.

Brugerbedømmelser af Automated Deduction CADE-13

Andre købte også..

Find lignende bøger

Bogen Automated Deduction CADE-13 findes i følgende kategorier:

Automated Deduction CADE-13 - M. McRobbie - Bog

Bag om M. McRobbie

Beskrivelse af Automated Deduction CADE-13

Brugerbedømmelser af Automated Deduction CADE-13

Gør som tusindvis af andre bogelskere