![]() |
|
![]() | Introduction to mathematical logic Автор: E. Mendelson Год: 1997 |
![]() | Markov logic: an interface layer for artificial intelligence Автор: Domingos Pedro, Lowd Daniel Год: 2009 |
![]() | Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science) Автор: A. S. Troelstra, H. Schwichtenberg, C. J. van Rijsbergen, Anne S. Troelstra Год: 2003 |
![]() | Handbook of the history of logic. Mediaeval and renaissance logic Автор: Gabbay D.M., Woods J. (eds.) Год: 2008 |
![]() | Handbook of Logic in Artificial Intelligence and Logic Programming: Logical Foundations Автор: Dov M. Gabbay, C.J. Hogger, J.A. Robinson, Christopher John Hogger Год: 1993 |
![]() | Type-2 fuzzy logic theory and applications Автор: Oscar Castillo Год: 2008 |