skip to content
Introduction to logic for systems modelling Preview this item
ClosePreview this item
Checking...

Introduction to logic for systems modelling

Author: Václav Pinkava
Publisher: Cambridge, Mass. : Abacus Press, 1988.
Series: Information technology and systems series.
Edition/Format:   Print book : EnglishView all editions and formats
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

Additional Physical Format: Online version:
Pinkava, Václav.
Introduction to logic for systems modelling.
Cambridge, Mass. : Abacus Press, 1988
(OCoLC)610554176
Document Type: Book
All Authors / Contributors: Václav Pinkava
ISBN: 0856264318 9780856264313
OCLC Number: 15132645
Description: 132 pages : illustrations ; 24 cm.
Series Title: Information technology and systems series.
Responsibility: Václav Pinkava.
More information:

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/15132645> # Introduction to logic for systems modelling
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "15132645" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/9069374#Place/cambridge_mass> ; # Cambridge, Mass.
   schema:about <http://experiment.worldcat.org/entity/work/data/9069374#Topic/automatentheorie> ; # Automatentheorie
   schema:about <http://id.worldcat.org/fast/1008548> ; # Many-valued logic
   schema:about <http://id.worldcat.org/fast/1004846> ; # Machine theory
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://dewey.info/class/003/e19/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/9069374#Topic/mathematische_logik> ; # Mathematische Logik
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/9069374#Person/pinkava_vaclav> ; # Václav Pinkava
   schema:datePublished "1988" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/9069374> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9069374#Series/information_technology_and_systems_series> ; # Information technology and systems series.
   schema:isSimilarTo <http://www.worldcat.org/oclc/610554176> ;
   schema:name "Introduction to logic for systems modelling"@en ;
   schema:productID "15132645" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/15132645#PublicationEvent/cambridge_mass_abacus_press_1988> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/9069374#Agent/abacus_press> ; # Abacus Press
   schema:workExample <http://worldcat.org/isbn/9780856264313> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/15132645> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/9069374#Person/pinkava_vaclav> # Václav Pinkava
    a schema:Person ;
   schema:familyName "Pinkava" ;
   schema:givenName "Václav" ;
   schema:name "Václav Pinkava" ;
    .

<http://experiment.worldcat.org/entity/work/data/9069374#Place/cambridge_mass> # Cambridge, Mass.
    a schema:Place ;
   schema:name "Cambridge, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/9069374#Series/information_technology_and_systems_series> # Information technology and systems series.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/15132645> ; # Introduction to logic for systems modelling
   schema:name "Information technology and systems series." ;
   schema:name "Information technology and systems series" ;
    .

<http://experiment.worldcat.org/entity/work/data/9069374#Topic/mathematische_logik> # Mathematische Logik
    a schema:Intangible ;
   schema:name "Mathematische Logik"@en ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1004846> # Machine theory
    a schema:Intangible ;
   schema:name "Machine theory"@en ;
    .

<http://id.worldcat.org/fast/1008548> # Many-valued logic
    a schema:Intangible ;
   schema:name "Many-valued logic"@en ;
    .

<http://worldcat.org/isbn/9780856264313>
    a schema:ProductModel ;
   schema:isbn "0856264318" ;
   schema:isbn "9780856264313" ;
    .

<http://www.worldcat.org/oclc/610554176>
    a schema:CreativeWork ;
   rdfs:label "Introduction to logic for systems modelling." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/15132645> ; # Introduction to logic for systems modelling
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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