Sposob Vstroeniya Pravila Indukcii v Procedury Avtomaticheskogo Dokazatel'stva Teorem s Rezolyuciei
Petar Z. Hotomski (1983)
Publications de l'Institut Mathématique
Similarity:
Petar Z. Hotomski (1983)
Publications de l'Institut Mathématique
Similarity:
Miloš Miličić (1984)
Publications de l'Institut Mathématique
Similarity:
Miloš Miličić (1984)
Publications de l'Institut Mathématique
Similarity:
Mioljub Nikić, Vladimir Mićić (1993)
Matematički Vesnik
Similarity:
Radoje Šćepanović (1984)
Publications de l'Institut Mathématique
Similarity:
Slobodan Č. Nešić (1995)
Matematički Vesnik
Similarity:
J. Mališić (1986)
Publications de l'Institut Mathématique
Similarity:
Mila Mršević (1999)
Matematički Vesnik
Similarity:
(1978)
Kybernetika
Similarity:
Zlatko P. Mamuzić (1994)
Matematički Vesnik
Similarity: