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.