Artykuł w czasopiśmie
Ładowanie...
Miniatura
Licencja

ClosedAccessDostęp zamknięty

Property Invariant Embedding for Automated Reasoning

Autor
Urban Josef
Olsák Miroslaw
Data publikacji
Dyscyplina PBN
informatyka
Tom
325
Strony od-do
1395--1402
Licencja otwartego dostępu
Dostęp zamknięty