Oostrom vincent van (48 risultati)
Lingua: Inglese
Editore: A K Peters/CRC Press, 2004
- Brossura
Da: Green Ink Booksellers, Hay-on-Wye, POWYS, Regno UnitoGreen Ink Booksellers
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 27,06
EUR 14,33 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibile
Condizione: Very Good. - Minor shelfwear ow near new condition - Clean bright tight book 230 pages.
Lingua: Inglese
Editore: Association for Symbolic Logic, Urbana, IL, 2004
- Rilegato
Da: Carothers and Carothers, Albany, CA, U.S.A.Carothers and Carothers
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 36,78
EUR 6,69 spedizioneSpedito in U.S.A.Quantità: 1 disponibile
Hardcover. Condizione: As New. viii, 208 p. Series: Lecture notes in logic ; 17. Boards and backstrip bright, corners sharp; contents as new. 420 grams.
Lingua: Inglese
Editore: A K Peters/CRC Press, 2004
- Rilegato
Da: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Regno UnitoHay-on-Wye Booksellers
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 22,55
EUR 29,85 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibile
Condizione: Very Good. some shelf wear but the content excellent throughout.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,65
EUR 2,36 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Rewriting Techniques And Applications : 15th International Conference, Rta 2004, Aachen, Germany, June 3-5, 2004, Proceedings
Oostrom, Vincent Van (EDT); INTERNATIONAL CONFERENCE ON REWRITING TE
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,89
EUR 2,36 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,33
Spedizione gratuitaSpedito in U.S.A.Quantità: 5 disponibili
Paperback or Softback. Condizione: New. Rewriting Techniques and Applications: 15th International Conference, Rta 2004, Aachen, Germany, June 3-5, 2004, Proceedings. Book.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 59,26
EUR 2,36 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Rewriting Techniques And Applications : 15th International Conference, Rta 2004, Aachen, Germany, June 3-5, 2004, Proceedings
Oostrom, Vincent Van (EDT); INTERNATIONAL CONFERENCE ON REWRITING TE
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 61,13
EUR 2,36 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: -OnTimeBooks-, Phoenix, AZ, U.S.A.-OnTimeBooks-
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 64,12
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibile
Condizione: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 62,52
EUR 2,68 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Logic Colloquium '99 : Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
Van Eijck, Jan (EDT); van Oostrom, Vincent (EDT); Visser, Albert (EDT); Logic Colloquium; Eijck, J. Van
Lingua: Inglese
Editore: A K Peters/CRC Press, 2004
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 65,44
EUR 2,36 spedizioneSpedito in U.S.A.Quantità: 1 disponibile
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 56,75
EUR 17,91 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 61,87
EUR 13,48 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In English.
Logic Colloquium '99 : Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
Van Eijck, Jan (EDT); van Oostrom, Vincent (EDT); Visser, Albert (EDT); Logic Colloquium; Eijck, J. Van
Lingua: Inglese
Editore: A K Peters/CRC Press, 2004
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,92
EUR 2,36 spedizioneSpedito in U.S.A.Quantità: 1 disponibile
Condizione: New.
- Brossura
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 78,07
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibile
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Brossura
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 79,12
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibile
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 61,32
EUR 17,91 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 68,81
EUR 13,48 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In English.
Lingua: Inglese
Editore: A.K. Peters, Limited, 2004
- Brossura
Da: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 78,95
EUR 3,56 spedizioneSpedito in U.S.A.Quantità: 3 disponibili
Condizione: New. pp. 230.
Lingua: Inglese
Editore: A K Peters/CRC Press, 2004
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 82,74
EUR 2,68 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Taylor & Francis Inc, 2004
- Brossura
Da: THE SAINT BOOKSTORE, Southport, Regno UnitoTHE SAINT BOOKSTORE
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 68,69
EUR 16,80 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibile
Paperback / softback. Condizione: New. New copy - Usually dispatched within 4 working days.
Rewriting Techniques And Applications : 15th International Conference, Rta 2004, Aachen, Germany, June 3-5, 2004, Proceedings
Oostrom, Vincent Van (EDT); INTERNATIONAL CONFERENCE ON REWRITING TE
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 68,18
EUR 17,91 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Logic Colloquium '99 : Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
Van Eijck, Jan (EDT); van Oostrom, Vincent (EDT); Visser, Albert (EDT); Logic Colloquium; Eijck, J. Van
Lingua: Inglese
Editore: A K Peters/CRC Press, 2004
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 68,27
EUR 17,91 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibile
Condizione: As New. Unread book in perfect condition.
Rewriting Techniques And Applications : 15th International Conference, Rta 2004, Aachen, Germany, June 3-5, 2004, Proceedings
Oostrom, Vincent Van (EDT); INTERNATIONAL CONFERENCE ON REWRITING TE
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 68,04
EUR 17,91 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Logic Colloquium '99 : Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
Van Eijck, Jan (EDT); van Oostrom, Vincent (EDT); Visser, Albert (EDT); Logic Colloquium; Eijck, J. Van
Lingua: Inglese
Editore: A K Peters/CRC Press, 2004
- Brossura
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 68,68
EUR 17,91 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibile
Condizione: New.
Lingua: Inglese
Editore: A.K. Peters, Limited, 2004
- Brossura
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 78,68
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 3 disponibili
Condizione: New. pp. 230.
Lingua: Inglese
Editore: A K Peters/CRC Press, 2004
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 85,97
EUR 11,19 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In English.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 66,40
EUR 35,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibile
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Termination Analysis of the Untyped -Calculus.- A Type-Based Termination Criterion for Dependently-Typed Higher-Order Rewrite Systems.- Termination of S-Expression Rewriting Systems: Lexicographic Path Ordering for Higher-Order Terms.- Monadic Second-Order Unification Is NP-Complete.- A Certified AC Matching Algorithm.- Matchbox: A Tool for Match-Bounded String Rewriting.- TORPA: Termination of Rewriting Proved Automatically.- Querying Unranked Trees with Stepwise Tree Automata.- A Verification Technique Using Term Rewriting Systems and Abstract Interpretation.- Rewriting for Fitch Style Natural Deductions.- Efficient -Evaluation with Interaction Nets.- Proving Properties of Term Rewrite Systems via Logic Programs.- On the Modularity of Confluence in Infinitary Term Rewriting.- mu-term: A Tool for Proving Termination of Context-Sensitive Rewriting.- Automated Termination Proofs with AProVE.- An Approximation Based Approach to Infinitary Lambda Calculi.- Böhm-Like Trees for Term Rewriting Systems.- Dependency Pairs Revisited.- Inductive Theorems for Higher-Order Rewriting.- The Joinability and Unification Problems for Confluent Semi-constructor TRSs.- A Visual Environment for Developing Context-Sensitive Term Rewriting Systems.…
Logic Colloquium '99: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
Van Eijck , Jan (Edited by)/ Van Oostrom , Vincent (Edited by)/ Visser , Albert (Edited by)
Lingua: Inglese
Editore: A K Peters Ltd, 2004
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 99,66
EUR 11,94 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. illustrated edition. 230 pages. 9.00x6.00x0.75 inches. In Stock.
- Brossura
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 92,27
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Kartoniert / Broschiert. Condizione: New.
