Property Invariant Embedding for Automated Reasoning
Property Invariant Embedding for Automated Reasoning
Autor
Data publikacji
Dyscyplina PBN
informatyka
Tom
325
Strony od-do
1395--1402
Link do źródła
Licencja otwartego dostępu
Dostęp zamknięty
Property Invariant Embedding for Automated Reasoning