Search Results for Klein, Gerwin.

Geç:Arama SonuçlarıİçerikSayfa SonuArama Filtreleri

3 sonuç bulundu

Arama sonuçlarına abone ol

Tümünü Seç

1

Liste görünümüne geç

Küçük resim görünümüne geç

000DEFAULTTR

Yazdır

1.

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings için kapak resmi

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

Yazar

Klein, Gerwin. editor.

http://dx.doi.org/10.1007/978-3-319-08970-6

Format:

Electronic Resources

Alıntı:

Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / Klein, Gerwin. editor.

2.

Concrete Semantics With Isabelle/HOL için kapak resmi

Concrete Semantics With Isabelle/HOL

Concrete Semantics With Isabelle/HOL

Yazar

Nipkow, Tobias. author.

http://dx.doi.org/10.1007/978-3-319-10542-0

Format:

Electronic Resources

Alıntı:

Klein, Gerwin. author.

3.

Cesuryürek ile Ateştopu için kapak resmi

Cesuryürek ile Ateştopu

Cesuryürek ile Ateştopu

Yazar

Klein, Martin.

Format:

Kitap

Alıntı:

Cesuryürek ile Ateştopu/ Klein, Martin.

Tümünü Seç

1

3 sonuç bulundu

Arama sonuçlarına abone ol

Arama Sonuçlarını Sınırlandır

Git:Arama SonuçlarıSayfa BaşıArama Filtreleri

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2