Gratis bezorging voor bestellingen boven de 69,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 69.99 €

DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis bezorging voor bestellingen boven de 69,99 euro.

Colog-88

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

Per Martin-Löf

Grigori Mints

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 01565281

Uitgeverij Springer, Berlin, februari 1990

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

Libristo-code: 01565281

125 b

51.47 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

See- und Seehafenbau H. Proetel

Gebonden (paperback)

26.69 €

»Copyleft« im deutschen Urheberrecht. Christian Teupen

Gebonden (paperback)

84.41 €

El espíritu de las leyes, volumen I Monstesquieu

Gebonden (paperback)

11.68 €

Princípios e Prática das Psicoterapias ANTHONY BATEMAN

Boek

25.28 €

Prospecção Tecnológica: Análise de Cenários Nicolle Christine Sotsek

Gebonden (paperback)

57.61 €

He Hoikehonua, He Mea Ia E Hoakakai I Ke Ano O Ka Honua Nei, a Me Na Mea Maluna Iho William Channing Woodbridge Boek

Gebonden (paperback)

21.15 €

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

Gebonden (paperback)

18.63 €

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

Gebonden (paperback)

18.32 €

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

Gebonden (harde band)

13.99 €

Mosty ponad čas Pavel Tomašovič

Gebonden (harde band)

4.22 €

Urodzinowe przyjęcie. Staś Pętelka Barbara Supeł

Gebonden (harde band)

6.84 €

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Colog-88

Auteur Per Martin-Löf, Grigori Mints

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 1990

Aantal pagina's 339

EAN 9783540523352

ISBN 3540523359

Libristo-code 01565281

Uitgeverij Springer, Berlin

Gewicht 494

Afmetingen 170 x 242 x 18

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Machinaal leren

Wiskunde en wetenschap > Wetenschap: algemene onderwerpen > Wetenschapsfilosofie

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger