Suchergebnisse für ""Mikheil Rukhaia""




Ähnliche Artikel


Algorithms for Quantified Cut-Introduction
26,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Christoph Spörk
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Introducing quantified cuts in sequent calculus
1. Oktober 2015
AV Akademikerverlag

Adapting Proofs-As-Programs
181,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Iman Poernomo
John N. Crossley
Martin Wirsing
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
The Curry--Howard Protocol
2005 edition
21. Juni 2005
Springer / Springer New York / Springer, Berlin
11303336,978-0-387-23759-6

Adapting Proofs-as-Programs
110,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Iman Poernomo
John N. Crossley
Martin Wirsing
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
The Curry--Howard Protocol
Softcover reprint of hardcover 1st ed. 2005
19. November 2010
Springer / Springer New York / Springer, Berlin
978-1-4419-2014-0

Tests and Proofs
37,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
1st ed. 2016
21. Juni 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-41134-7

Tests and Proofs
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
2012
16. Mai 2012
Springer / Springer Berlin Heidelberg / Springer, Berlin
86105519,978-3-642-30472-9

Tests and Proofs
34,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
2013
7. Juni 2013
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-38915-3

Final Cut Pro X for iMovie and Final Cut Express Users
40,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Tom Wolsky
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Making the Creative Leap
3. Februar 2012
Focal Press
Y140953

Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Madhu Sudan
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1995.
13. Dezember 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60615-4

Secure Key Establishment
74,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Kim-Kwang Raymond Choo
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2009
25. November 2010
Springer / Springer US / Springer, Berlin
978-1-4419-4689-8

Generating Plans from Proofs
53,49 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Michael Benedikt
Julien Leblay
Balder ten Cate
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2016
Morgan & Claypool / Springer / Springer International Publishing / Springer, Berlin
978-3-031-00728-6



Ähnlichkeitssuche: Fact®Finder von OMIKRON