Package Springer Book Archive Mathematics Complete

Provider
Springer Nature
Status
Current
Description
URL
UUID
767c7bcd-f9b0-40cc-bfbb-bfee7bca3736

Curated By

  • SLUB Dresden

TIPPs (7402)

Name Identifiers Coverage
An Introduction to Mathematical Logic and Type Theory
  • isbn : 9789401599344
  • pisbn : 9781402007637
  • doi : 10.1007/978-94-015-9934-4
 Fulltext
Dynamic Worlds
  • isbn : 9789401713177
  • pisbn : 9780792355359
  • doi : 10.1007/978-94-017-1317-7
 Fulltext
Abduction and Induction
  • isbn : 9789401706063
  • pisbn : 9780792362500
  • doi : 10.1007/978-94-017-0606-3
 Fulltext
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
  • isbn : 9789401704373
  • pisbn : 9780792351313
  • doi : 10.1007/978-94-017-0437-3
 Fulltext
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
  • isbn : 9789401704359
  • pisbn : 9780792351306
  • doi : 10.1007/978-94-017-0435-9
 Fulltext
Intellectics and Computational Logic
  • isbn : 9789401593830
  • pisbn : 9780792362616
  • doi : 10.1007/978-94-015-9383-0
 Fulltext
Fuzzy Sets, Logics and Reasoning about Knowledge
  • isbn : 9789401716529
  • pisbn : 9780792359777
  • doi : 10.1007/978-94-017-1652-9
 Fulltext
Foundations of Bayesianism
  • isbn : 9789401715867
  • pisbn : 9781402002236
  • doi : 10.1007/978-94-017-1586-7
 Fulltext
Proof Theory of Modal Logic
  • isbn : 9789401727983
  • pisbn : 9780792341208
  • doi : 10.1007/978-94-017-2798-3
 Fulltext
Goal-Directed Proof Theory
  • isbn : 9789401717137
  • pisbn : 9780792364733
  • doi : 10.1007/978-94-017-1713-7
 Fulltext