Mathematical Foundations of Advanced Informatics

DOI10.1007/978-3-319-68397-3zbMath1395.68002OpenAlexW2792723592MaRDI QIDQ4643768

Michael Huth, Oliver Rüthing, Bernhard Steffen

Publication date: 28 May 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-68397-3

zbMATH Keywords

logic for computer scienceproofs by inductionset theory for computer science

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in computer science (03B70) Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06)

Uses Software

• Haskell
• Scala
• Unnamed Item

This page was built for publication: Mathematical Foundations of Advanced Informatics