https://www.kriso.lv Mon, 26 Jun 2017 00:00:00 GMT Mon, 26 Jun 2017 00:00:00 GMT https://www.kriso.lv/intelligent-computer-mathematics-10th-international-conference-db-9783319620756e.html <a href="https://www.kriso.lv/intelligent-computer-mathematics-10th-international-conference-db-9783319620756e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke<br>ISBN: 9783319620756<br> Izdevniecība: Springer International Publishing AG<br> Formāts: PDF+DRM, Izdošanas datums: 26-Jun-2017<br> Cena: 53,52 € https://www.kriso.lv/db/97833196207562e.html Mon, 26 Jun 2017 00:00:00 GMT https://www.kriso.lv/intelligent-computer-mathematics-10th-international-conference-db-9783319620756e.html <a href="https://www.kriso.lv/intelligent-computer-mathematics-10th-international-conference-db-9783319620756e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke<br>ISBN: 9783319620756<br> Izdevniecība: Springer International Publishing AG<br> Formāts: EPUB+DRM, Izdošanas datums: 26-Jun-2017<br> Cena: 53,52 € https://www.kriso.lv/db/97833196207566e.html Mon, 26 Jun 2017 00:00:00 GMT https://www.kriso.lv/type-theory-formal-proof-introduction-db-9781316053980e.html <a href="https://www.kriso.lv/type-theory-formal-proof-introduction-db-9781316053980e.html"><img border="0" src="https://www.kriso.lv/covers/thumb/978131/9781316053980.jpg" align="left" hspace="5" > </a>Rob Nederpelt, Herman Geuvers<br>ISBN: 9781316053980<br> Izdevniecība: Cambridge University Press<br> Formāts: EPUB+DRM, Izdošanas datums: 06-Nov-2014<br> Cena: 79,69 € https://www.kriso.lv/db/97813160539806e.html Thu, 06 Nov 2014 00:00:00 GMT https://www.kriso.lv/type-theory-formal-proof-introduction-db-9781316056349e.html <a href="https://www.kriso.lv/type-theory-formal-proof-introduction-db-9781316056349e.html"><img border="0" src="https://www.kriso.lv/covers/thumb/978131/9781316056349.jpg" align="left" hspace="5" > </a>Rob Nederpelt, Herman Geuvers<br>ISBN: 9781316056349<br> Izdevniecība: Cambridge University Press<br> Formāts: PDF+DRM, Izdošanas datums: 06-Nov-2014<br> Cena: 79,69 € https://www.kriso.lv/db/97813160563492e.html Thu, 06 Nov 2014 00:00:00 GMT https://www.kriso.lv/interactive-theorem-proving-second-international-conference-db-9783642228636e.html <a href="https://www.kriso.lv/interactive-theorem-proving-second-international-conference-db-9783642228636e.html"><img border="0" src="https://www.kriso.lv/shop/kriso2016/images/img_notfoundthumb.png" align="left" hspace="5" > </a>Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk<br>ISBN: 9783642228636<br> Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formāts: PDF+DRM, Izdošanas datums: 02-Aug-2011<br> Cena: 53,52 € https://www.kriso.lv/db/97836422286362e.html Tue, 02 Aug 2011 00:00:00 GMT https://www.kriso.lv/logic-colloquium-2006-db-9780511601644e.html <a href="https://www.kriso.lv/logic-colloquium-2006-db-9780511601644e.html"><img border="0" src="https://www.kriso.lv/covers/thumb/978051/9780511601644.jpg" align="left" hspace="5" > </a>S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko Väänänen<br>ISBN: 9780511601644<br> Izdevniecība: Cambridge University Press<br> Formāts: PDF+DRM, Izdošanas datums: 07-Sep-2009<br> Cena: 153,46 € https://www.kriso.lv/db/97805116016442e.html Mon, 07 Sep 2009 00:00:00 GMT https://www.kriso.lv/types-proofs-programs-second-international-workshop-db-9783540391852e.html <a href="https://www.kriso.lv/types-proofs-programs-second-international-workshop-db-9783540391852e.html"><img border="0" src="https://www.kriso.lv/covers/thumb/978354/9783540391852.jpg" align="left" hspace="5" > </a>Herman Geuvers, Freek Wiedijk<br>ISBN: 9783540391852<br> Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K<br> Formāts: PDF+DRM, Izdošanas datums: 03-Aug-2003<br> Cena: 53,52 € https://www.kriso.lv/db/97835403918522e.html Sun, 03 Aug 2003 00:00:00 GMT https://www.kriso.lv/selected-papers-automath-db-9780080887180e.html <a href="https://www.kriso.lv/selected-papers-automath-db-9780080887180e.html"><img border="0" src="https://www.kriso.lv/covers/thumb/978008/9780080887180.jpg" align="left" hspace="5" > </a>R.P. Nederpelt, etc., J.H. Geuvers, R.C. de Vrijer<br>ISBN: 9780080887180<br> Izdevniecība: Elsevier Science Ltd<br> Formāts: PDF+DRM, Izdošanas datums: 20-Oct-1994<br> Cena: 52,34 € https://www.kriso.lv/db/97800808871802e.html Thu, 20 Oct 1994 00:00:00 GMT