Package Springer Mathematics and Statistics eBooks 2000-2004

Provider
Springer Nature
Status
Current
Description
URL
UUID
dc4a4482-7a6c-49bd-8a19-22f4a2d24d0b

Curated By

  • TU Chemnitz

TIPPs (1745)

Name Identifiers Coverage
Labelled Deduction
  • isbn : 9789401140409
  • pisbn : 9780792362371
 Fulltext
Inference on the Low Level
  • isbn : 9781402028069
  • pisbn : 9781402024924
 Fulltext
The Death of Argument
  • isbn : 9781402027123
  • pisbn : 9781402026638
 Fulltext
Logical and Computational Aspects of Model-Based Reasoning
  • isbn : 9789401005500
  • pisbn : 9781402007125
 Fulltext
Automated Model Building
  • isbn : 9781402026539
  • pisbn : 9781402026522
 Fulltext
Formal Aspects of Context
  • isbn : 9789401593977
  • pisbn : 9780792363507
 Fulltext
Advances in Temporal Logic
  • isbn : 9789401595865
  • pisbn : 9780792361497
 Fulltext
The Semantics and Proof Theory of the Logic of Bunched Implications
  • isbn : 9789401700917
  • pisbn : 9781402007453
 Fulltext
New Essays in Free Logic
  • isbn : 9789401597616
  • pisbn : 9781402002168
 Fulltext
Thirty Five Years of Automating Mathematics
  • isbn : 9789401702539
  • pisbn : 9781402016561
 Fulltext