Importo totale (1 articolo articoli):
Destinazione ordine:
proof theory computer science di kahle reinhard (28 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (28)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (24)
- Come nuovo, Ottimo o Quasi ottimo (3)
- Molto buono o Buono (1)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (9)
- Non Print on Demand (21)
Lingua (1)
Prezzo
- Qualsiasi prezzo
- Inferiore a EUR 20 (Nessun altro risultato corrispondente a questo perfezionamento)
- EUR 20 a EUR 45
- Superiore a EUR 45
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 42,56
Convertire valutaEUR 6,00 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Proof Theory in Computer Science (Paperback)
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2001
ISBN 10: 354042752X ISBN 13: 9783540427520
Lingua: Inglese
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 56,09
Convertire valutaGratis per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the International Seminar on Proof Theory in Computer Science, PTCS 2001, held in Dagstuhl Castle, Germany, in October 2001. The 13 thoroughly revised full papers were carefully reviewed and selected for inclusion in the book. Among the topics addressed are higher type recursion, lambda calculus, complexity theory, transfinite induction, categories, induction-recursion, post-Turing analysis, natural deduction, implicit characterization, iterate logic, and Java programming. Such a volume not only ?xes basic results of the subject and makes them available to a broader audience, but also signals to the scienti?c community that Proof Theory in Computer Science (PTCS) is a major research branch within the wider ?eld of logic in computer science. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Proof Theory in Computer Science : International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,76
Convertire valutaEUR 2,27 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science, 2183)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,67
Convertire valutaEUR 3,43 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Proof Theory in Computer Science : International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 59,96
Convertire valutaEUR 2,27 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science, 2183)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,25
Convertire valutaEUR 13,79 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 56,64
Convertire valutaEUR 17,83 per la spedizione da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Proof Theory in Computer Science : International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,24
Convertire valutaEUR 17,27 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Proof Theory in Computer Science : International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 65,88
Convertire valutaEUR 17,27 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Advances in Proof Theory (Progress in Computer Science and Applied Logic)
Editore: Springer (India) Private Limited, 2016
ISBN 10: 3319291963 ISBN 13: 9783319291963
Lingua: Inglese
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 91,72
Convertire valutaEUR 3,43 per la spedizione in U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 425.
-
Advances in Proof Theory (Progress in Computer Science and Applied Logic)
Editore: Springer (India) Private Limited, 2016
ISBN 10: 3319291963 ISBN 13: 9783319291963
Lingua: Inglese
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 93,63
Convertire valutaEUR 7,48 per la spedizione da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 425.
-
Advances in Proof Theory (Progress in Computer Science and Applied Logic, 28)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 103,40
Convertire valutaEUR 3,43 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Advances in Proof Theory (Progress in Computer Science and Applied Logic)
Editore: Springer (India) Private Limited, 2016
ISBN 10: 3319291963 ISBN 13: 9783319291963
Lingua: Inglese
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 94,92
Convertire valutaEUR 9,95 per la spedizione da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 425.
-
Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
Editore: Springer Berlin Heidelberg, 2001
ISBN 10: 354042752X ISBN 13: 9783540427520
Lingua: Inglese
EUR 53,49
Convertire valutaEUR 61,97 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory has proved useful for metatheoretical purposes as well as for practical applications. Thus it seemed to us most natural to bring researchers together to assess both the role proof theory already plays in computer science and the role it might play in the future. The form of a Dagstuhl seminar is most suitable for purposes like this, as Schloß Dagstuhl provides a very convenient and stimulating environment to - scuss new ideas and developments. To accompany the conference with a proc- dings volume appeared to us equally appropriate. Such a volume not only xes basic results of the subject and makes them available to a broader audience, but also signals to the scienti c community that Proof Theory in Computer Science (PTCS) is a major research branch within the wider eld of logic in computer science.
-
Advances in Proof Theory (Progress in Computer Science and Applied Logic, 28)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 111,60
Convertire valutaEUR 13,79 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Advances in Proof Theory (Progress in Computer Science and Applied Logic, 28)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 111,60
Convertire valutaEUR 13,79 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Advances in Proof Theory (Progress in Computer Science and Applied Logic)
Editore: Springer (India) Private Limited, 2018
ISBN 10: 3319805134 ISBN 13: 9783319805139
Lingua: Inglese
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 141,39
Convertire valutaEUR 3,43 per la spedizione in U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 425.
-
Proof Theory in Computer Science (Paperback)
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2001
ISBN 10: 354042752X ISBN 13: 9783540427520
Lingua: Inglese
Da: AussieBookSeller, Truganina, VIC, Australia
Valutazione del venditore 5 su 5 stelle
EUR 114,98
Convertire valutaEUR 31,77 per la spedizione da Australia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the International Seminar on Proof Theory in Computer Science, PTCS 2001, held in Dagstuhl Castle, Germany, in October 2001. The 13 thoroughly revised full papers were carefully reviewed and selected for inclusion in the book. Among the topics addressed are higher type recursion, lambda calculus, complexity theory, transfinite induction, categories, induction-recursion, post-Turing analysis, natural deduction, implicit characterization, iterate logic, and Java programming. Such a volume not only ?xes basic results of the subject and makes them available to a broader audience, but also signals to the scienti?c community that Proof Theory in Computer Science (PTCS) is a major research branch within the wider ?eld of logic in computer science. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Proof Theory in Computer Science
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 153,60
Convertire valutaEUR 3,43 per la spedizione in U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. pp. 256.
-
Advances in Proof Theory (Progress in Computer Science and Applied Logic, 28)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 133,98
Convertire valutaEUR 28,78 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. New. book.
-
Advances in Proof Theory (Progress in Computer Science and Applied Logic)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 144,65
Convertire valutaEUR 28,78 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Like New. Like New. book.
-
Proof Theory in Computer Science
Editore: Springer Berlin Heidelberg Sep 2001, 2001
ISBN 10: 354042752X ISBN 13: 9783540427520
Lingua: Inglese
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
Convertire valutaEUR 23,00 per la spedizione da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory has proved useful for metatheoretical purposes as well as for practical applications. Thus it seemed to us most natural to bring researchers together to assess both the role proof theory already plays in computer science and the role it might play in the future. The form of a Dagstuhl seminar is most suitable for purposes like this, as Schloß Dagstuhl provides a very convenient and stimulating environment to - scuss new ideas and developments. To accompany the conference with a proc- dings volume appeared to us equally appropriate. Such a volume not only xes basic results of the subject and makes them available to a broader audience, but also signals to the scienti c community that Proof Theory in Computer Science (PTCS) is a major research branch within the wider eld of logic in computer science. 256 pp. Englisch.
-
Proof Theory in Computer Science
Editore: Springer Berlin Heidelberg, 2001
ISBN 10: 354042752X ISBN 13: 9783540427520
Lingua: Inglese
EUR 48,37
Convertire valutaEUR 48,99 per la spedizione da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory has proved useful for metatheoretical purposes as well as .
-
Proof Theory in Computer Science
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2001, 2001
ISBN 10: 354042752X ISBN 13: 9783540427520
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
Convertire valutaEUR 60,00 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory has proved useful for metatheoretical purposes as well as for practical applications. Thus it seemed to us most natural to bring researchers together to assess both the role proof theory already plays in computer science and the role it might play in the future. The form of a Dagstuhl seminar is most suitable for purposes like this, as Schloß Dagstuhl provides a very convenient and stimulating environment to - scuss new ideas and developments. To accompany the conference with a proc- dings volume appeared to us equally appropriate. Such a volume not only xes basic results of the subject and makes them available to a broader audience, but also signals to the scienti c community that Proof Theory in Computer Science (PTCS) is a major research branch within the wider eld of logic in computer science.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch.
-
Advances in Proof Theory (Progress in Computer Science and Applied Logic, 28)
Editore: Springer (India) Private Limited, 2018
ISBN 10: 3319805134 ISBN 13: 9783319805139
Lingua: Inglese
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 148,21
Convertire valutaEUR 7,48 per la spedizione da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 425.
-
Advances in Proof Theory (Progress in Computer Science and Applied Logic, 28)
Editore: Springer (India) Private Limited, 2018
ISBN 10: 3319805134 ISBN 13: 9783319805139
Lingua: Inglese
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 151,09
Convertire valutaEUR 9,95 per la spedizione da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 425.
-
Proof Theory in Computer Science
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 162,62
Convertire valutaEUR 7,48 per la spedizione da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 256 Illus.
-
Proof Theory in Computer Science
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 165,66
Convertire valutaEUR 9,95 per la spedizione da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 256.
