English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
  Living Book -- Deduction, Slicing, and Interaction

Baumgartner, P., Furbach, U., Gross-Hardt, M., & Sinner, A. (2004). Living Book -- Deduction, Slicing, and Interaction. Journal of Automated Reasoning, 32, 259-286.

Item is

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Baumgartner, Peter1, Author           
Furbach, Ulrich, Author
Gross-Hardt, Margret, Author
Sinner, Alex, Author
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2005-02-022004
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: Peer
 Identifiers: eDoc: 231245
Other: Local-ID: C1256104005ECAFC-22E5694CBC6673B5C1256F8C003DE880-Baumgartner:EtAl:LivingBook:JAR:2004
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: Journal of Automated Reasoning
Source Genre: Journal
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 32 Sequence Number: - Start / End Page: 259 - 286 Identifier: -