Logical methods in computer science : : LMCS.
Saved in:
: | |
---|---|
TeilnehmendeR: | |
Publication history: | Began with vol. 1, issue 1 (2005). |
Language: | English |
Notes: | Refereed/Peer-reviewed |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
- International journal of applied mathematics and computer science.
-
Formal logical methods for system security and correctness / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.
Published: (c2008.) -
Discrete mathematics and theoretical computer science.
Published: (c1997-) -
Anyone can code : : the art and science of logical creativity / / Ali Arya.
by: Arya, Ali,
Published: ([2021]) - Advances in human-computer interaction.