Importe total (1 artículo artículos):
Destino del pedido:
braffort scheepen (3 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (3)
- 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 (No hay ningún otro resultado que coincida con este filtro.)
- Bueno o Aceptable (1)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (2)
Encuadernación
- Todas
- Tapa dura (2)
- Tapa blanda (No hay ningún otro resultado que coincida con este filtro.)
Más atributos
- Primera edición (2)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (1)
- Con imágenes (No hay ningún otro resultado que coincida con este filtro.)
- No impresión bajo demanda (3)
Idioma (1)
Precio
- Cualquier precio
- Menos de EUR 20
- EUR 20 a EUR 45
- Más de EUR 45 (No hay ningún otro resultado que coincida con este filtro.)
Gastos de envío gratis
- Envío gratis a Estados Unidos de America (No hay ningún otro resultado que coincida con este filtro.)
Ubicación del vendedor
Valoración de los vendedores
-
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,37
Envío por EUR 17,29
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.
-
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
Librería: Moby Dick, Noordwijk, Holanda
Calificación del vendedor: 4 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).
