SULJE VALIKKO

avaa valikko

Grigori+Mints | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 7 tuotetta
Haluatko tarkentaa hakukriteerejä?



COLOG-88 - International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
Per Martin-Löf; Grigori Mints
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1990)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Games, Logic, and Constructive Sets
Grigori Mints; Reinhard Muskens
Centre for the Study of Language & Information (2003)
Kovakantinen kirja
83,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
A Short Introduction to Intuitionistic Logic
Grigori Mints
Springer (2000)
Kovakantinen kirja
125,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
A Short Introduction to Intuitionistic Logic
Grigori Mints
Springer (2013)
Pehmeäkantinen kirja
134,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Games, Logic, and Constructive Sets
Grigori Mints; Reinhard Muskens
Centre for the Study of Language & Information (2003)
Pehmeäkantinen kirja
33,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Short Introduction to Modal Logic
Grigori Mints
Centre for the Study of Language & Information (1992)
Kovakantinen kirja
54,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Short Introduction to Modal Logic
Grigori Mints
Centre for the Study of Language & Information (1992)
Pehmeäkantinen kirja
23,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
COLOG-88 - International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
51,40 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 339 sivua
Asu: Pehmeäkantinen kirja
Painos: 1990 ed.
Julkaisuvuosi: 1990, 21.02.1990 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 417
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.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
COLOG-88 - International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedingszoom
Näytä kaikki tuotetiedot
ISBN:
9783540523352
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Meistä
Yhteystiedot ja aukioloajat
Usein kysytyt
Akateemisen Ystäväklubi
Toimitusehdot
Tietosuojaseloste
Seuraa Akateemista
Instagram
Facebook
Threads
TikTok
YouTube
LinkedIn