skip to content
Tools for teaching logic : Third International Congress, TICTTL 2011 ; Salamanca, Spain, June 1-4, 2011. Proceedings Preview this item
ClosePreview this item
Checking...

Tools for teaching logic : Third International Congress, TICTTL 2011 ; Salamanca, Spain, June 1-4, 2011. Proceedings

Author: Patrick Blackburn
Publisher: Heidelberg : Springer, 2011.
Series: LNCS sublibrary., SL 7,, Artificial intelligence.; Lecture notes in computer science., Lecture notes in artificial intelligence ;, 6680.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:

Constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, that was held in Salamanca, Spain.

Rating:

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

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
International Congress on Tools for Teaching Logic (3rd : 2011 : Salamanca, Spain).
Tools for teaching logic.
Heidelberg : Springer, 2011
(DLC) 2011927873
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Patrick Blackburn
OCLC Number: 742515795
Description: 1 online resource (xi, 256 pages) : illustrations.
Series Title: LNCS sublibrary., SL 7,, Artificial intelligence.; Lecture notes in computer science., Lecture notes in artificial intelligence ;, 6680.
Responsibility: Patrick Blackburn [and others] (eds.).

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/742515795> # Tools for teaching logic : Third International Congress, TICTTL 2011 ; Salamanca, Spain, June 1-4, 2011. Proceedings
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
   library:oclcnum "742515795" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/972773591#Place/heidelberg> ; # Heidelberg
   schema:about <http://dewey.info/class/160.71/e23/> ;
   schema:about <http://id.loc.gov/authorities/classification/BC59> ;
   schema:about <http://id.worldcat.org/fast/1002024> ; # Logic--Study and teaching
   schema:about <http://experiment.worldcat.org/entity/work/data/972773591#Topic/logic_study_and_teaching> ; # Logic--Study and teaching
   schema:about <http://id.worldcat.org/fast/1002014> ; # Logic
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/85380315> ; # Patrick Blackburn
   schema:creator <http://experiment.worldcat.org/entity/work/data/972773591#Meeting/international_congress_on_tools_for_teaching_logic_3rd_2011_salamanca_spain> ; # International Congress on Tools for Teaching Logic (3rd : 2011 : Salamanca, Spain)
   schema:datePublished "2011" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/972773591> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Electronic books"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/972773591#Series/lncs_sublibrary_sl_7_artificial_intelligence> ; # LNCS sublibrary. SL 7, Artificial intelligence
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/972773591#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/972773591#Series/lncs_sublibrary> ; # LNCS sublibrary.
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in artificial intelligence,
   schema:isSimilarTo <http://worldcat.org/entity/work/data/972773591#CreativeWork/tools_for_teaching_logic> ;
   schema:name "Tools for teaching logic : Third International Congress, TICTTL 2011 ; Salamanca, Spain, June 1-4, 2011. Proceedings"@en ;
   schema:productID "742515795" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/742515795#PublicationEvent/heidelberg_springer_2011> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/972773591#Agent/springer> ; # Springer
   schema:url <http://site.ebrary.com/id/10479017> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/742515795> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/972773591#Meeting/international_congress_on_tools_for_teaching_logic_3rd_2011_salamanca_spain> # International Congress on Tools for Teaching Logic (3rd : 2011 : Salamanca, Spain)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/972773591#Place/salamanca_spain> ; # Salamanca, Spain)
   schema:name "International Congress on Tools for Teaching Logic (3rd : 2011 : Salamanca, Spain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/972773591#Place/salamanca_spain> # Salamanca, Spain)
    a schema:Place ;
   schema:name "Salamanca, Spain)" ;
    .

<http://experiment.worldcat.org/entity/work/data/972773591#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/742515795> ; # Tools for teaching logic : Third International Congress, TICTTL 2011 ; Salamanca, Spain, June 1-4, 2011. Proceedings
   schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/972773591#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/742515795> ; # Tools for teaching logic : Third International Congress, TICTTL 2011 ; Salamanca, Spain, June 1-4, 2011. Proceedings
   schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/972773591#Series/lncs_sublibrary_sl_7_artificial_intelligence> # LNCS sublibrary. SL 7, Artificial intelligence
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/742515795> ; # Tools for teaching logic : Third International Congress, TICTTL 2011 ; Salamanca, Spain, June 1-4, 2011. Proceedings
   schema:name "LNCS sublibrary. SL 7, Artificial intelligence" ;
    .

<http://id.worldcat.org/fast/1002014> # Logic
    a schema:Intangible ;
   schema:name "Logic"@en ;
    .

<http://id.worldcat.org/fast/1002024> # Logic--Study and teaching
    a schema:Intangible ;
   schema:name "Logic--Study and teaching"@en ;
    .

<http://viaf.org/viaf/85380315> # Patrick Blackburn
    a schema:Person ;
   schema:birthDate "1959" ;
   schema:familyName "Blackburn" ;
   schema:givenName "Patrick" ;
   schema:name "Patrick Blackburn" ;
    .

<http://worldcat.org/entity/work/data/972773591#CreativeWork/tools_for_teaching_logic>
    a schema:CreativeWork ;
   rdfs:label "Tools for teaching logic." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/742515795> ; # Tools for teaching logic : Third International Congress, TICTTL 2011 ; Salamanca, Spain, June 1-4, 2011. Proceedings
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in artificial intelligence,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/742515795> ; # Tools for teaching logic : Third International Congress, TICTTL 2011 ; Salamanca, Spain, June 1-4, 2011. Proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in artificial intelligence," ;
    .

<http://www.worldcat.org/title/-/oclc/742515795>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/742515795> ; # Tools for teaching logic : Third International Congress, TICTTL 2011 ; Salamanca, Spain, June 1-4, 2011. Proceedings
   schema:dateModified "2018-11-11" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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