Gå direkt till innehållet
Satisfiability and Model Checking in Team Based Logics
Spara

Satisfiability and Model Checking in Team Based Logics

ISBN
9783954047598
Språk
Engelska
Vikt
202 gram
Utgivningsdatum
2014-08-01
Förlag
Cuvillier
Sidor
148