Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sabine Glesner
CSRD Has Become SICS
Software-Intensive Cyber-Physical Systems
Information Systems
Computer Networks
Hardware
Communications
Architecture
Mathematics
Computational Theory
Software
Computer Science
Many-Sorted Logic in a Learning Theorem Prover
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science