host ::
| Hlavní stránka > Zprávy > Výzkumné zprávy > Probabilistic First-Order Predicate Calculus with Doubled Nonstandard Semantics |
Název:
Probabilistic First-Order Predicate Calculus with Doubled Nonstandard Semantics
Autoři: Kramosil, Ivan
Typ dokumentu: Výzkumné zprávy
Rok: 1997
Jazyk: eng
Edice: Technical Report, svazek: V-714
Klíčová slova: Boolean algebra; Boolean-valued models; first-order predicate calculus; nonstandard models; possibility measure; probabilistic logic; probability measure
Číslo projektu: IAA1030504 (CEP)
Poskytovatel projektu: GA AV ČR
Práva: Dílo je chráněno podle autorského zákona č. 121/2000 Sb.
Instituce: Ústav informatiky AV ČR (web)
Původní záznam: http://hdl.handle.net/11104/0123521
Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-33718
Záznam je zařazen do těchto sbírek:
Věda a výzkum > AV ČR > Ústav informatiky
Zprávy > Výzkumné zprávy
Autoři: Kramosil, Ivan
Typ dokumentu: Výzkumné zprávy
Rok: 1997
Jazyk: eng
Edice: Technical Report, svazek: V-714
Klíčová slova: Boolean algebra; Boolean-valued models; first-order predicate calculus; nonstandard models; possibility measure; probabilistic logic; probability measure
Číslo projektu: IAA1030504 (CEP)
Poskytovatel projektu: GA AV ČR
Práva: Dílo je chráněno podle autorského zákona č. 121/2000 Sb.
Instituce: Ústav informatiky AV ČR (web)
Původní záznam: http://hdl.handle.net/11104/0123521
Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-33718
Záznam je zařazen do těchto sbírek:
Věda a výzkum > AV ČR > Ústav informatiky
Zprávy > Výzkumné zprávy
Záznam vytvořen dne 2011-07-01, naposledy upraven 2023-12-11.
Plný tet:
PDFPlný text:
Pokud se vám dokument nezobrazí v prohlížeči, uložte jej na svůj PC a otevřete jej v příslušném programu.