Automated Deduction - CADE-16

Lingua: inglese

Editore: Springer Berlin Heidelberg, 1999

3540662227 / 9783540662228

Da: moluna, Greven, Germaniamoluna

Venditore con 5 stelle

Venditore AbeBooks dal 9 luglio 2020

Visualizza gli articoli di questo venditore
Brossura

Condizione: Nuovo

EUR 63,62

EUR 48,99 spedizione 
Spedito da Germania a U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

Session 1.- A Dynamic Programming Approach to Categorial Deduction.- Tractable Transformations from Modal Provability Logics into First-Order Logic.- Session 2.- Decision Procedures for Guarded Logics.- A PSpace Algorithm for Graded Modal Logic.- Session 3.

Codice articolo 4897583

Titolo
Automated Deduction - CADE-16
Autore
Ganzinger, Harald
Editore
Springer Berlin Heidelberg
Anno di pubblicazione
1999
Condizione
New
Rilegatura
Brossura
Lingua
inglese
ISBN 10
3540662227
ISBN 13
9783540662228
Cataloghi dei venditori
Mathematik/Naturwissenschaften/Technik/Medizin

moluna

Greven, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 9 luglio 2020

Tariffe di spedizione da Germania a U.S.A.

ArticoloDa 26 a 60 giorni lavorativiDa 26 a 60 giorni lavorativi
Primo articoloEUR 48,99EUR 48,99
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Assegno
  • Bonifico bancario
  • PayPal

Descrizione dello Store

Online Handel nur mit Neubüchern

Informazioni sull’azienda del venditore

Moluna GmbH

Engberdingdamm 27
Greven, Germania 48268