Automated Reasoning with Analytic Tableaux and Related Methods

• Utgivningsdatum: 2005-09-14
• Format: E-bok
• Språk: Engelska
• Förlag: Springer Berlin Heidelberg
• ISBN: 9783540318224

• Programmeringsböcker
• Programvaruutveckling
• Systemvetenskap och AI
• Artificiell intelligens

0 recensioner

Inga recensioner tillgängliga.