KIRJAUDU
Types for Proofs and Programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected
51,10 €
Springer
Sivumäärä: 395 sivua
Asu: Pehmeäkantinen kirja
Painos: 1994 ed.
Julkaisuvuosi: 1994, 20.05.1994 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 806
Sivumäärä: 395 sivua
Asu: Pehmeäkantinen kirja
Painos: 1994 ed.
Julkaisuvuosi: 1994, 20.05.1994 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 806
This volume contains research papers devoted to the theoretical foundations, design and application of computer systems for theory development. Such systems help to design mathematical axiomatization, perform computer-aided logical reasoning and manage databases of mathematical facts.
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Tilaustuote
Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Myymäläsaatavuus
Näytä kaikki tuotetiedot
ISBN:
9783540580850
Aihealue: