skip to content
Logische Kalküle in informatischen Problemstellungen Preview this item
ClosePreview this item
Checking...

Logische Kalküle in informatischen Problemstellungen

Author: Matthias Baaz
Publisher: Wien, 1992.
Dissertation: Habil.schrift, Techn. Universiẗat Wien, 1992.
Edition/Format:   Thesis/dissertation : Thesis/dissertation : German
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Thesis/dissertation
Document Type: Book
All Authors / Contributors: Matthias Baaz
OCLC Number: 636831103
Notes: Text: dt.- engl.
Description: 1 Band (mehrere Zählungen) ; 30 cm
Responsibility: Matthias Baaz.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/636831103> # Logische Kalküle in informatischen Problemstellungen
    a schema:CreativeWork, schema:Book, bgn:Thesis ;
   bgn:inSupportOf "Habil.schrift, Techn. Universiẗat Wien, 1992." ;
   library:oclcnum "636831103" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/au> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/499985511#Place/wien> ; # Wien
   schema:about <http://experiment.worldcat.org/entity/work/data/499985511#Thing/aussagenlogik_mathematische_logik> ; # AUSSAGENLOGIK (MATHEMATISCHE LOGIK)
   schema:about <http://experiment.worldcat.org/entity/work/data/499985511#Thing/demonstration_automatique_logique_mathematique> ; # DÉMONSTRATION AUTOMATIQUE (LOGIQUE MATHÉMATIQUE)
   schema:about <http://experiment.worldcat.org/entity/work/data/499985511#Thing/mehrwertige_logik_mathematische_logik> ; # MEHRWERTIGE LOGIK (MATHEMATISCHE LOGIK)
   schema:about <http://experiment.worldcat.org/entity/work/data/499985511#Thing/many_valued_logic_mathematical_logic> ; # MANY-VALUED LOGIC (MATHEMATICAL LOGIC)
   schema:about <http://experiment.worldcat.org/entity/work/data/499985511#Thing/logique_propositionnelle_logique_mathematique> ; # LOGIQUE PROPOSITIONNELLE (LOGIQUE MATHÉMATIQUE)
   schema:about <http://experiment.worldcat.org/entity/work/data/499985511#Thing/logische_semantik_+_semantische_antinomien_mathematische_logik> ; # LOGISCHE SEMANTIK + SEMANTISCHE ANTINOMIEN (MATHEMATISCHE LOGIK)
   schema:about <http://experiment.worldcat.org/entity/work/data/499985511#Thing/automatische_beweisfuhrung_mathematische_logik> ; # AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK)
   schema:about <http://experiment.worldcat.org/entity/work/data/499985511#Thing/logical_semantics_+_semantic_antinomies_mathematical_logic> ; # LOGICAL SEMANTICS + SEMANTIC ANTINOMIES (MATHEMATICAL LOGIC)
   schema:about <http://experiment.worldcat.org/entity/work/data/499985511#Thing/logique_multivalente_logique_mathematique> ; # LOGIQUE MULTIVALENTE (LOGIQUE MATHÉMATIQUE)
   schema:about <http://experiment.worldcat.org/entity/work/data/499985511#Thing/semantique_logique_+_antinomies_semantiques_logique_mathematique> ; # SÉMANTIQUE LOGIQUE + ANTINOMIES SÉMANTIQUES (LOGIQUE MATHÉMATIQUE)
   schema:about <http://experiment.worldcat.org/entity/work/data/499985511#Thing/automated_theorem_proving_mathematical_logic> ; # AUTOMATED THEOREM PROVING (MATHEMATICAL LOGIC)
   schema:about <http://experiment.worldcat.org/entity/work/data/499985511#Thing/propositional_logic_mathematical_logic> ; # PROPOSITIONAL LOGIC (MATHEMATICAL LOGIC)
   schema:contributor <http://viaf.org/viaf/2724418> ; # Matthias Baaz
   schema:datePublished "1992" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/499985511> ;
   schema:inLanguage "de" ;
   schema:name "Logische Kalküle in informatischen Problemstellungen"@de ;
   schema:productID "636831103" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/636831103#PublicationEvent/wien_1992> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/636831103> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/499985511#Thing/aussagenlogik_mathematische_logik> # AUSSAGENLOGIK (MATHEMATISCHE LOGIK)
    a schema:Thing ;
   schema:name "AUSSAGENLOGIK (MATHEMATISCHE LOGIK)" ;
    .

<http://experiment.worldcat.org/entity/work/data/499985511#Thing/automated_theorem_proving_mathematical_logic> # AUTOMATED THEOREM PROVING (MATHEMATICAL LOGIC)
    a schema:Thing ;
   schema:name "AUTOMATED THEOREM PROVING (MATHEMATICAL LOGIC)" ;
    .

<http://experiment.worldcat.org/entity/work/data/499985511#Thing/automatische_beweisfuhrung_mathematische_logik> # AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK)
    a schema:Thing ;
   schema:name "AUTOMATISCHE BEWEISFÜHRUNG (MATHEMATISCHE LOGIK)" ;
    .

<http://experiment.worldcat.org/entity/work/data/499985511#Thing/demonstration_automatique_logique_mathematique> # DÉMONSTRATION AUTOMATIQUE (LOGIQUE MATHÉMATIQUE)
    a schema:Thing ;
   schema:name "DÉMONSTRATION AUTOMATIQUE (LOGIQUE MATHÉMATIQUE)" ;
    .

<http://experiment.worldcat.org/entity/work/data/499985511#Thing/logical_semantics_+_semantic_antinomies_mathematical_logic> # LOGICAL SEMANTICS + SEMANTIC ANTINOMIES (MATHEMATICAL LOGIC)
    a schema:Thing ;
   schema:name "LOGICAL SEMANTICS + SEMANTIC ANTINOMIES (MATHEMATICAL LOGIC)" ;
    .

<http://experiment.worldcat.org/entity/work/data/499985511#Thing/logique_multivalente_logique_mathematique> # LOGIQUE MULTIVALENTE (LOGIQUE MATHÉMATIQUE)
    a schema:Thing ;
   schema:name "LOGIQUE MULTIVALENTE (LOGIQUE MATHÉMATIQUE)" ;
    .

<http://experiment.worldcat.org/entity/work/data/499985511#Thing/logique_propositionnelle_logique_mathematique> # LOGIQUE PROPOSITIONNELLE (LOGIQUE MATHÉMATIQUE)
    a schema:Thing ;
   schema:name "LOGIQUE PROPOSITIONNELLE (LOGIQUE MATHÉMATIQUE)" ;
    .

<http://experiment.worldcat.org/entity/work/data/499985511#Thing/logische_semantik_+_semantische_antinomien_mathematische_logik> # LOGISCHE SEMANTIK + SEMANTISCHE ANTINOMIEN (MATHEMATISCHE LOGIK)
    a schema:Thing ;
   schema:name "LOGISCHE SEMANTIK + SEMANTISCHE ANTINOMIEN (MATHEMATISCHE LOGIK)" ;
    .

<http://experiment.worldcat.org/entity/work/data/499985511#Thing/many_valued_logic_mathematical_logic> # MANY-VALUED LOGIC (MATHEMATICAL LOGIC)
    a schema:Thing ;
   schema:name "MANY-VALUED LOGIC (MATHEMATICAL LOGIC)" ;
    .

<http://experiment.worldcat.org/entity/work/data/499985511#Thing/mehrwertige_logik_mathematische_logik> # MEHRWERTIGE LOGIK (MATHEMATISCHE LOGIK)
    a schema:Thing ;
   schema:name "MEHRWERTIGE LOGIK (MATHEMATISCHE LOGIK)" ;
    .

<http://experiment.worldcat.org/entity/work/data/499985511#Thing/propositional_logic_mathematical_logic> # PROPOSITIONAL LOGIC (MATHEMATICAL LOGIC)
    a schema:Thing ;
   schema:name "PROPOSITIONAL LOGIC (MATHEMATICAL LOGIC)" ;
    .

<http://experiment.worldcat.org/entity/work/data/499985511#Thing/semantique_logique_+_antinomies_semantiques_logique_mathematique> # SÉMANTIQUE LOGIQUE + ANTINOMIES SÉMANTIQUES (LOGIQUE MATHÉMATIQUE)
    a schema:Thing ;
   schema:name "SÉMANTIQUE LOGIQUE + ANTINOMIES SÉMANTIQUES (LOGIQUE MATHÉMATIQUE)" ;
    .

<http://viaf.org/viaf/2724418> # Matthias Baaz
    a schema:Person ;
   schema:familyName "Baaz" ;
   schema:givenName "Matthias" ;
   schema:name "Matthias Baaz" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.