Facets (new session)
Description
Metadata
Settings
owl:sameAs
Inference Rule:
asEquivalent
b3s
b3sifp
facets
http://www.w3.org/2002/07/owl#
ldp
oplweb
skos-trans
virtrdf-label
virtrdf-url
None
About:
Mathematical Logic
Goto
Sponge
NotDistinct
Permalink
An Entity of Type :
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
, within Data Space :
linked.opendata.cz
associated with source
document(s)
Type:
skos:Concept
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
New Facet based on Instances of this Class
Attributes
Values
rdf:type
skos:Concept
http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description
Kniha se zabývá výrokovou logikou a predikátovou logikou. Rezoluční princip je uveden jak pro vyrokovou tak i predikátovou logiku.
(cs)
The book deals with propositional logic and predicate logic. The resolution method is presented for both propositional and predicate logic.
The book deals with propositional logic and predicate logic. The resolution method is presented for both propositional and predicate logic.
(en)
Title
Mathematical Logic
Matematická logika
(cs)
Mathematical Logic
(en)
skos:prefLabel
Mathematical Logic
Matematická logika
(cs)
Mathematical Logic
(en)
skos:notation
RIV/68407700:21230/08:03151009!RIV09-MSM-21230___
http://linked.open...avai/riv/aktivita
Z
http://linked.open...avai/riv/aktivity
Z(MSM6840770038)
http://linked.open...vai/riv/dodaniDat
2009
http://linked.open...aciTvurceVysledku
Demlová, Marie
http://linked.open.../riv/druhVysledku
B - Odborná kniha
http://linked.open...iv/duvernostUdaju
S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele
České vysoké učení technické v Praze / Fakulta elektrotechnická
http://linked.open...dnocenehoVysledku
377967
http://linked.open...ai/riv/idVysledku
RIV/68407700:21230/08:03151009
http://linked.open...riv/jazykVysledku
eng - angličtina
http://linked.open.../riv/klicovaSlova
mathematical logic
(en)
http://linked.open.../riv/klicoveSlovo
mathematical logic
http://linked.open...ontrolniKodProRIV
[A8191673B0AF]
http://linked.open...i/riv/mistoVydani
Praha
http://linked.open...i/riv/nazevZdroje
Mathematical Logic
http://linked.open...in/vavai/riv/obor
BA
http://linked.open...ichTvurcuVysledku
1
(
xsd:int
)
http://linked.open...v/pocetStranKnihy
226
(
xsd:int
)
http://linked.open...cetTvurcuVysledku
1
(
xsd:int
)
http://linked.open...UplatneniVysledku
2008
http://linked.open...iv/tvurceVysledku
Demlová, Marie
http://linked.open...n/vavai/riv/zamer
Decision Making and Control for Manufacturing III
number of pages
226
(
xsd:int
)
http://purl.org/ne...btex#hasPublisher
kernberg publishing
https://schema.org/isbn
978-80-87168-07-3
http://localhost/t...ganizacniJednotka
21230
is
http://linked.open...avai/riv/vysledek
of
Mathematical Logic
Mathematical Logic
Mathematical Logic
Mathematical Logic
Faceted Search & Find service v1.16.118 as of Jun 21 2024
Alternative Linked Data Documents:
ODE
Content Formats:
RDF
ODATA
Microdata
About
OpenLink Virtuoso
version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software