skip to content
Automated reasoning : introduction and applications Preview this item
ClosePreview this item
Checking...

Automated reasoning : introduction and applications

Author: Larry Wos
Publisher: New York : McGraw-Hill, ©1992.
Edition/Format:   Print book : English : 2nd edView all editions and formats
Summary:

Describes automated reasoning and its functions, and demonstrates how to use it to solve complex problems with applications in logic circuit design, circuit validation, real-time system design and  Read more...

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:
Automated reasoning.
New York : McGraw-Hill, ©1992
(OCoLC)696262329
Document Type: Book
All Authors / Contributors: Larry Wos
ISBN: 007911251X 9780079112514
OCLC Number: 24870961
Description: xvi, 656 pages ; 24 cm + 1 computer disc (5 1/4 in.)
Details: System requirements for computer disk (OTTO 2.2): IBM PC compatible or Sun workstation.
Responsibility: Larry Wos [and others].

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/24870961> # Automated reasoning : introduction and applications
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "24870961" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/792918624#Topic/kunstmatige_intelligentie> ; # Kunstmatige intelligentie
   schema:about <http://experiment.worldcat.org/entity/work/data/792918624#Thing/artificial_intelligence> ; # Artificial intelligence
   schema:about <http://dewey.info/class/006.3/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/792918624#Topic/ordinateurs_programmation> ; # Ordinateurs--Programmation
   schema:about <http://experiment.worldcat.org/entity/work/data/792918624#Topic/theoremes_demonstration_automatique> ; # Théorèmes--Démonstration automatique
   schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
   schema:about <http://experiment.worldcat.org/entity/work/data/792918624#Topic/intelligence_artificielle> ; # Intelligence artificielle
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
   schema:bookEdition "2nd ed." ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/2692910> ; # Larry Wos
   schema:copyrightYear "1992" ;
   schema:datePublished "1992" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/792918624> ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/696262329> ;
   schema:name "Automated reasoning : introduction and applications"@en ;
   schema:productID "24870961" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/24870961#PublicationEvent/new_york_mcgraw_hill_1992> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/792918624#Agent/mcgraw_hill> ; # McGraw-Hill
   schema:workExample <http://worldcat.org/isbn/9780079112514> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9329074> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/24870961> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/792918624#Thing/artificial_intelligence> # Artificial intelligence
    a schema:Thing ;
   schema:name "Artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/792918624#Topic/intelligence_artificielle> # Intelligence artificielle
    a schema:Intangible ;
   schema:name "Intelligence artificielle"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/792918624#Topic/kunstmatige_intelligentie> # Kunstmatige intelligentie
    a schema:Intangible ;
   schema:name "Kunstmatige intelligentie"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/792918624#Topic/ordinateurs_programmation> # Ordinateurs--Programmation
    a schema:Intangible ;
   schema:name "Ordinateurs--Programmation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/792918624#Topic/theoremes_demonstration_automatique> # Théorèmes--Démonstration automatique
    a schema:Intangible ;
   schema:name "Théorèmes--Démonstration automatique"@en ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
   schema:name "Artificial intelligence"@en ;
    .

<http://id.worldcat.org/fast/822777> # Automatic theorem proving
    a schema:Intangible ;
   schema:name "Automatic theorem proving"@en ;
    .

<http://id.worldcat.org/fast/872390> # Computer programming
    a schema:Intangible ;
   schema:name "Computer programming"@en ;
    .

<http://viaf.org/viaf/2692910> # Larry Wos
    a schema:Person ;
   schema:familyName "Wos" ;
   schema:givenName "Larry" ;
   schema:name "Larry Wos" ;
    .

<http://worldcat.org/isbn/9780079112514>
    a schema:ProductModel ;
   schema:isbn "007911251X" ;
   schema:isbn "9780079112514" ;
    .

<http://www.worldcat.org/oclc/696262329>
    a schema:CreativeWork ;
   rdfs:label "Automated reasoning." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/24870961> ; # Automated reasoning : introduction and applications
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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