Importo totale (1 articolo articoli):
Destinazione ordine:
gordon plotkin (63 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (63)
- 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 (36)
- Come nuovo, Ottimo o Quasi ottimo (4)
- Molto buono o Buono (10)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (13)
Legatura
Ulteriori caratteristiche
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
EUR 2,85
Spedizione EUR 10,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
Logical Environments
Lingua: Inglese
Editore: Cambridge University Press, 1993
ISBN 10: 0521433126 ISBN 13: 9780521433129
Da: Powell's Bookstores Chicago, ABAA, Chicago, IL, U.S.A.
Membro dell'associazione: ABAA ILAB
Valutazione del venditore 5 su 5 stelle
Copia autografata
hardcover. Condizione: Used-Very Good. Library binding. No dj. Light shelf-wear.
-
![Immagine dell'editore per Typed Lambda Calculi and Applications. [Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 1995 Proceedings] (Lecture Notes in Computer Science 902) venduto da G. & J. CHESTERS](https://pictures.abebooks.com/isbn/9783540590484-it-300.jpg)
Typed Lambda Calculi and Applications. [Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 1995 Proceedings] (Lecture Notes in Computer Science 902)
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 1995
ISBN 10: 354059048X ISBN 13: 9783540590484
Da: G. & J. CHESTERS, TAMWORTH, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 11,00
Spedizione EUR 8,22
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoft cover. Condizione: Very Good. pp.viii, 442 pages, a very good paperback [354059048X]. From a university library.
-
Typed Lambda Calculi and Applications : Proceedings of the 2nd International Conference on Typed Lambda Calculi and Applications, TLCS '95, Edinburgh, United Kingdom, April 10-12, 1995
Lingua: Inglese
Editore: Springer Berlin / Heidelberg, 1995
ISBN 10: 354059048X ISBN 13: 9783540590484
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Logical Environments.
Lingua: Inglese
Editore: Cambridge University Press, 1993
ISBN 10: 0521433126 ISBN 13: 9780521433129
Da: G. & J. CHESTERS, TAMWORTH, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 13,42
Spedizione EUR 8,22
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Near Fine. pp.xiii, 338 pages, a near fine hardback, publisher's original blue (teal) cloth binding with gilt lettering to the spine, minimal evidence that it is from a uk university [0521433126].
-
Situation Theory and Its Applications - Volume 2
Lingua: Inglese
Editore: CSLI Center for the Study of Language and Information, 1992
ISBN 10: 0937073709 ISBN 13: 9780937073704
Da: avelibro OHG, Dinkelscherben, Germania
Membro dell'associazione: BOEV
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 13,00
Spedizione EUR 10,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello22,5 x 15 cm. Condizione: Gut. 1. Auflage. XIII, 637 Seiten, 2 Blatt Innen sauberer, guter Zustand. Softcover, Broschur mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. Leichte Lagerspuren, leicht gebräunt. - CSLI Lecture Notes, Band 26. B07-22-06Y Sprache: Englisch Gewicht in Gramm: 862.
-
Rabbi Plotkin: A Memoir
Lingua: Inglese
Editore: Arizona State University Libra, Tempe, Arizona, 1992
ISBN 10: 1879286025 ISBN 13: 9781879286023
Da: K. L. Givens Books, Bella Vista, AR, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione Copia autografata
Trade Paperback. Condizione: VG+. Condizione sovraccoperta: No Jacket as Issued. 1st Edition. White trade paperback with portrait of Rabbi Plotkin on the cover. No defects on the book. Book is SIGNED BY RABBI ALBERT PLOTKIN AND GORDON A. SABINE, no inscription. There is a note stating this was gift from the editor. Memoir of this Jewish Rabbi. 160 pages. Signed by Author(s). Book.
-
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom
Da: George Cross Books, Lexington, MA, U.S.A.
Membro dell'associazione: IOBA
Valutazione del venditore 5 su 5 stelle
Paperback. Reprint edition. Very Good/Wraps (34592) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 902 This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995. The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems. 443.
-
Transactions on Computational Systems Biology VI (Lecture Notes in Computer Science / Transactions on Computational Systems Biology)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, . (Lecture Notes in Computer Science, 902)
Da: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Valutazione del venditore 5 su 5 stelle
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.
-
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, . (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
Da: Alien Bindings, BALTIMORE, MD, U.S.A.
Valutazione del venditore 4 su 5 stelle
Prima edizione
Hardcover. Condizione: New. Condizione sovraccoperta: New. First Edition. Brand New! Electronic delivery tracking will be issued free of charge.
-
Situation Theory and Its Applications
Lingua: Inglese
Editore: Center for the Study of Language and Inf, 1992
ISBN 10: 0937073709 ISBN 13: 9780937073704
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
Situation Theory and Its Applications
Lingua: Inglese
Editore: Center for the Study of Language and Inf, 1992
ISBN 10: 0937073709 ISBN 13: 9780937073704
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Situation Theory and its Applications: Volume 2 (Paperback)
Lingua: Inglese
Editore: Centre for the Study of Language & Information, Stanford, 1992
ISBN 10: 0937073709 ISBN 13: 9780937073704
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. Situation theory is the result of an interdisciplinary effort to create a full-fledged theory of information. Created by scholars and scientists from cognitive science, computer science, AI, linguistics, logic, philosophy, and mathematics, the theory is forging a common set of tools for the analysis of phenomena from all these fields. This volume presents work that evolved out of the Second Conference on Situation Theory and its Applications. Twenty-six essays exhibit the wide range of the theory, covering such topics as natural language semantics, philosophical issues about information, mathematical applications, and the visual representation of information in computer systems.Jon Barwise is a professor of philosophy, mathematics, and logic at Indiana University in Bloomington. Jean Mark Gawron is a researcher at SRI International and a consultant at Hewlett-Packard Laboratories. Gordon Plotkin is a professor of theoretical computer science at the University of Edinburgh. Syun Tutiya is in the philosophy department at Chiba University in Japan. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Typed Lambda Calculi And Applications -
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
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.
-
Transactions On Computational Systems Biology Vi
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
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.
-
Typed Lambda Calculi And Applications -
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Transactions On Computational Systems Biology Vi
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Situation and Theory and its Applications. Volume 2.
Lingua: Inglese
Editore: Center for the Study of Language and Information, 1992
Da: Antiquariat Bookfarm, Löbnitz, Germania
Valutazione del venditore 5 su 5 stelle
EUR 13,00
Spedizione EUR 40,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. 3356 Ex-library with Stamp and Library-Signature in Good Condition, Some Traces of Use Sprache: Englisch Gewicht in Gramm: 1050.
-
Transactions on Computational Systems Biology VI
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. 260.
-
Typed Lambda Calculi and Applications
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. 460.
-
Transactions on Computational Systems Biology VI
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 48,69
Spedizione EUR 7,63
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Used. pp. 260 Illus.
-
Typed Lambda Calculi and Applications
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 49,74
Spedizione EUR 7,63
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Used. pp. 460 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Proof, Language, And Interaction
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
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.
-
Logical Environments
Lingua: Inglese
Editore: Cambridge University Press, Cambridge, United Kingdom, 1993
ISBN 10: 0521433126 ISBN 13: 9780521433129
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 44,26
Spedizione EUR 14,67
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellohardcover. Condizione: Very Good. Condizione sovraccoperta: Very Good.
-
Proof, Language, And Interaction
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Situation Theory and Its Applications Volume 2 CSLI Lecture Notes Number 26
Lingua: Inglese
Editore: Centre for the Study of Language and Information, Stanford, 1991
ISBN 10: 0937073709 ISBN 13: 9780937073704
Da: Webbooks, Wigtown, Wigtown, Regno Unito
Membro dell'associazione: PBFA
Valutazione del venditore 5 su 5 stelle
Prima edizione
EUR 24,18
Spedizione EUR 35,21
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoft Cover. Condizione: Good. No Jacket. First Edition. From an academic library with the usual stamps and labels. Contents clean. Card covers have been laminated with clear adhesive plastic. This is a heavy book and we will request extra shipping if ordered from outside the UK. A00016517.
-
Transactions on Computational Systems Biology VI
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 49,30
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Used. pp. 260.
-
Typed Lambda Calculi and Applications
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 50,24
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Used. pp. 460.
