Your search

Resource type

Results

4 resources
Processing time: 0.03 seconds

Explore

CATEGORICAL LOGIC

MACHINE LEARNING

MODEL CHECKING AND STATE MACHINES

PROGRAMMING LANGUAGES

Methodology

Resource type

Publication year

Online resource

Graph of references

(from Zotero to Gephi via Zotnet with this script)
Graph of references