Přeskočit na obsah

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
- Монгол

Pokročilé

The HOL sets Library

Vytvořit citaci
Zaslat SMS
Poslat e-mailem
Vytisknout
Exportovat záznam
Trvalý odkaz

The HOL sets Library

The HOL sets Library

Podrobná bibliografie
Hlavní autor:	Melham, T
Médium:	Record
Vydáno:	Computer Laboratory‚ University of Cambridge 1991

Jednotky
Popis
Podobné jednotky
UNIMARC/MARC

Podobné jednotky

The HOL pred_sets Library
Autor: Melham, T
Vydáno: (1992)
The HOL finite_sets Library
Autor: Melham, T
Vydáno: (1992)
The HOL string Library
Autor: Melham, T
Vydáno: (1991)
A Mechanized Theory of the π−calculus in HOL
Autor: Melham, T
Vydáno: (1991)
A Mechanized Theory of the Π−calculus in HOL
Autor: Melham, T
Vydáno: (1994)

Možnosti vyhledávání

Historie vyhledávání
Pokročilé vyhledávání

Objevte více

Procházení katalogu
Abecední procházení
Grafické procházení katalogu
Rezervace kurzů
Nové tituly v katalogu

Hledáte pomoc?

Tipy pro vyhledávání
Zeptejte se knihovníka
Často kladené otázky