[Lecture Notes in Computer Science] Automated Deduction—CADE-14 Volume 1249 (14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings) || Hybrid Agile Software Development for Smart Farming Application
McCune, WilliamVolume:
10.1007/3-
Year:
1997
Language:
english
DOI:
10.1007/978-3-030-14687-0_18
File:
PDF, 309 KB
english, 1997