Անցեք բովանդակությանը

VuFind

- English
- Deutsch
- Español
- Français
- Italiano
- 日本語
- Nederlands
- Português
- Português (Brasil)
- 中文(简体)
- 中文（繁體）
- Türkçe
- עברית
- Gaeilge
- Cymraeg
- Ελληνικά
- Català
- Euskara
- Русский
- Čeština
- Suomi
- Svenska
- polski
- Dansk
- slovenščina
- اللغة العربية
- বাংলা
- Galego
- Tiếng Việt
- Hrvatski
- हिंदी
- Հայերէն
- Українська
- Sámegiella
- Монгол

Ընդլայնված

Extended Comptation Tree Logic...

Վկայակոչեք սա
Գրեք սա
Էլփոստով ուղարկեք սա
Տպել
Արտահանել գրառումը
Մշտական հղում

Extended Comptation Tree Logic (Extended Abstract)

Extended Comptation Tree Logic (Extended Abstract)

Մատենագիտական մանրամասներ
Հիմնական հեղինակ:	Lange, M
Ձևաչափ:	Conference item
Հրապարակվել է:	2010

Պահումներ
Նկարագրություն
Նմանատիպ նյութեր
Աշխատակազմի տեսք

Նմանատիպ նյութեր

An Epistemic Foundation for Authentication Logics (Extended Abstract)
‌: Joseph Y. Halpern, և այլն
Հրապարակվել է: (2017-07-01)
Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)
‌: Lawrence Dunn, և այլն
Հրապարակվել է: (2017-01-01)
Random Records and Cuttings in Split Trees: Extended Abstract
‌: Cecilia Holmgren
Հրապարակվել է: (2008-01-01)
Extended Abstracts
Հրապարակվել է: (1977-01-01)
Extended Abstract
‌: John Maher, և այլն
Հրապարակվել է: (2016-05-01)

Որոնման ընտրանքներ

Որոնման պատմություն
Ընդլայնված որոնում

Գտեք ավելին

Թերթիր քարտարանը
Թերթիր այբբենական կարգով
Ուսումնասիրեք ալիքները
Դասընթացի պահուստներ
Նոր նյութեր

Օգնության կարիք ունե՞ք։

Որոնման հնարքներ
Հարցրեք գրադարանավարին
FAQs