Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Colog-88

Name: Colog-88
Brand: Springer, Berlin
SKU: 01565281
Price: 53.79 EUR
Availability: InStock
Author: Per Martin-Löf
ISBN: 9783540523352

Per Martin-Löf

Grigori Mints

Lingua

Inglese

Libro In brossura

Codice Libristo: 01565281

Casa editrice Springer, Berlin, febbraio 1990

This volume contains several invited papers as well as a selection of the other contributions. The c... Descrizione completa

Codice Libristo: 01565281

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Mosty ponad čas Pavel Tomašovič

Rigido

4.59 €

»Copyleft« im deutschen Urheberrecht. Christian Teupen

In brossura

88.19 €

See- und Seehafenbau H. Proetel

In brossura

27.99 €

El espíritu de las leyes, volumen I Monstesquieu

In brossura

12.29 €

Princípios e Prática das Psicoterapias ANTHONY BATEMAN

Libro

26.49 €

Les trois portes - tome 1 La Porte d'or Emily Rodda

In brossura

20.19 €

La bataille des A.O.C. en Suisse Barjolle

In brossura

19.79 €

Senza distogliere lo sguardo. Una storia di impegno civile Antonio Silvio Calò

Rigido

14.89 €

This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Colog-88

Autore Per Martin-Löf, Grigori Mints

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 1990

Numero di pagine 339

EAN 9783540523352

ISBN 3540523359

Codice Libristo 01565281

Casa editrice Springer, Berlin

Peso 494

Dimensioni 170 x 242 x 18

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Ingegneria del controllo automatico > Robotica

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale > Apprendimento automatico (Machine learning)

Matematica e Scienze > Scienza: argomenti di interesse generale > Filosofia della scienza

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software