Logotyp för Svensk kravterminologi

Handbook of Practical Logic and Automated Reasoning: källinformation


Titel
Handbook of Practical Logic and Automated Reasoning
Källtyp
Bok
Årtal
2009
Författare
Harrison, John
Utgivare
Cambridge University Press
ISBN
978-0-521-89957-4
Inlagd
2015-08-01
Senast ändrad
2016-09-18

Följande termer har referenser till eller är översatta från källan:

Utöver de explicita referenserna ovan kan källan innehålla information som är relevant för resonemangen i Terminologi med förklaringar.