An edition of Tools for Teaching Logic (2011)

Tools for Teaching Logic

Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings

by

  • 1 Want to read
Cover of: Tools for Teaching Logic by Patrick Blackburn, Patrick Blackburn
Locate

My Reading Lists:

Create a new list

Notes
  • 1 Want to read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
August 15, 2024 | History
Edit
An edition of Tools for Teaching Logic (2011)

Tools for Teaching Logic

Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings

by

  • 1 Want to read

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer Berlin Heidelberg
Language
English

Check nearby libraries

Buy this book

Subjects

Study and teaching, Symbolic and mathematical Logic, Computer science, Science, Education, Artificial intelligence, Congresses, Logic, Mathematical Logic and Foundations, Computers and Education, Mathematical Logic and Formal Languages, Artificial Intelligence (incl. Robotics)
Edition Availability
Cover of: Tools for Teaching Logic
Tools for Teaching Logic: Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings
2011, Springer Berlin Heidelberg
electronic resource : in English
Cover of: Tools for Teaching Logic
Tools for Teaching Logic: Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings
Jul 08, 2011, Springer
paperback

Add another edition?

Book Details

Edition Notes

Published in
Berlin, Heidelberg
Series
Lecture Notes in Computer Science -- 6680

Classifications

Library of Congress
BC59 .T53 2011, QA75.5-76.95, Q334-342

The Physical Object

Format
[electronic resource] :

Edition Identifiers

Open Library
OL25545475M
ISBN 13
9783642213496, 9783642213502
LCCN
2011927873

Work Identifiers

Work ID
OL16941077W

Source records

Internet Archive item record
Internet Archive item record
Library of Congress MARC record
Better World Books record
Better World Books record
Harvard University record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
August 15, 2024 Edited by MARC Bot import existing book
October 17, 2020 Edited by MARC Bot import existing book
July 7, 2019 Edited by MARC Bot import existing book
July 28, 2014 Created by ImportBot import new book