Importe total (1 artículo artículos):
Destino del pedido:
braffort p (8 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (8)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (No hay ningún otro resultado que coincida con este filtro.)
- Como nuevo, Excelente o Muy bueno (1)
- Bueno o Aceptable (3)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (4)
Encuadernación
Más atributos
- Primera edición (2)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (3)
- Con imágenes (No hay ningún otro resultado que coincida con este filtro.)
- No impresión bajo demanda (8)
Idioma (1)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Computer Programming and Formal Systems
Publicado por North Holland Publishing Co.
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 8,83
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Automation in Language Translation and Theorem Proving. Some Applications of Mathematical Logic. Brussels, June 1968.
Publicado por Commission Of The European Communities. Directorate-General For Dissemination Of Information, Brussel, 1968
Librería: Literary Cat Books, Machynlleth, Powys, WALES, Reino Unido
Miembro de asociación: IOBA
Calificación del vendedor: 4 de 5 estrellas
Original o primera edición
EUR 21,44
Envío por EUR 17,34
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover (rebound in cloth). Condición: Good. Estado de la sobrecubierta: No Dust Jacket. First Edition; First Edition. 295 pages. With library stamps & labels. New endpapers. Slight wear to spine, covers & corners. ; Ex-Library; Quarto.
-
Computer Programming and Formal Systems
Publicado por North Holland, Amsterdam, 1963
Librería: Riverbooks, Suttons Bay, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 39,83
Envío por EUR 5,59
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Fine. Estado de la sobrecubierta: Very Good. Studies in Logic and the Foundations of Mathematics. Flexible printed wraps in original matching dust jacket. Former owners name on front fly leaf, clean interior, no underlining etc.; attractive dust jacket with a small chip missing at bottom of rear of jacket, small closed tear to top of front, else clean and bright. Condition: Fine in very good dust jacket.
-
Computer Programming and Formal Systems [Studies in Logic and the Foundations of Mathematics]
Publicado por Amsterdam, North-Holland Publishing Company, , second printing, 1967
Librería: Pallas Books Antiquarian Booksellers, Leiden, Holanda
Calificación del vendedor: 4 de 5 estrellas
EUR 30,00
Envío por EUR 27,00
Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritocloth, 8vo vii+161 pp. contributions by different authors; inferential analysis; theory of computation; an abstract computer; context-free languages; good condition (library-stamps on endpaper and titlepage; no annatations).
-
Automation in language translation and theorem proving. Some applications of mathematical logic
Publicado por Brussels, Kommission der Europäischen Gemeinschaften (EUR 4038 e), 1968
Librería: Antiquariat Smock, Freiburg, Alemania
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 24,00
Envío por EUR 33,90
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Akzeptabel. Formateinband: Leinen mit Umschlag / gebundene Ausgabe XV, 295 S. (25 cm) 1st Edition; Schutzumschlag etwas gealtert und berieben und mit hinterklebtem Einriss; Namenseintrag auf Vorsatzblatt; sonst in gutem Zustand. Sprache: Englisch Gewicht in Gramm: 900 [Stichwörter: Mathematische Logik, Investigations and lenghts of proofs, Mechanical procedures for the propositional and predicate calculus and graph theory, Studies in the theory of definitions, Generative, analytic and context-free grammars, On free choice sequences and the free system CSI-valuations].
-
AUTOMATION IN LANGUAGE TRANSLATION AND THEOREM PROVING SOME APPLICATIONS OF MATHEMATICAL LOGIC
Año de publicación: 1968
Librería: Xerxes Fine and Rare Books and Documents, Glen Head, NY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 79,66
Envío por EUR 5,11
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: VG. Luxembourg 1968. Lg.8vo., 295pp., printed cloth. VG in Fair DJ, chipped and worn.
-
Automation in language translation and theorem proving. Some applications of mathematical logic
Librería: Moby Dick, Noordwijk, Holanda
Calificación del vendedor: 5 de 5 estrellas
EUR 20,00
Envío por EUR 49,10
Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCommission EC 1968 cloth, 295 pp, dustwrappers (code Sc-246).
-
Computer programming and formal systems
Librería: Moby Dick, Noordwijk, Holanda
Calificación del vendedor: 5 de 5 estrellas
EUR 25,00
Envío por EUR 49,10
Se envía de Holanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoNorth-Holland Public. Company 1967 cloth, 161 p.p. (code Sc-55).
