subjectheading:[Logic programming] - Search Results - University of Southern Indiana

login

Home > Search Results: subjectheading:[Logic programming]

Search:

Search Tips :: Advanced Search :: Browse Resources (beta)

Sort by

ascending
descending

Display

Collections

Select collection

Format

Select output format

1.	Logic-based program synthesis and transformation : 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings[...] LOPSTR (Symposium) (33rd : 2023 : Cascais, Portugal); Glück, R. (Robert), 1961- e[...] Cham, Switzerland : Springer, 2023. QA76.63 .L66 2023 \| View e-resource \| Available Online \| Detailed record - Similar records
2.	Rules and reasoning : 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedi[...] RuleML+RR (Joint conference) (6th : 2022 : Online); Governatori, Guido.; Turhan, Ann[...] Cham : Springer, 2022. QA76.9.L63 \| View e-resource \| Available Online \| Detailed record - Similar records
3.	Inductive logic programming : 30th International Conference, ILP 2021, Virtual event, October 25-27, 2021, Proceedings / Nikos Katzouris, Alexand[...] ILP (Conference) (30th : 2021 : Online); Katzouris, Nikos, editor.; Artikis, Alexand[...] Cham, Switzerland : Springer, 2022. QA76.63 .I47 2021eb \| View e-resource \| Available Online \| Detailed record - Similar records
4.	Rules and reasoning : 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings / Sotiris Moschoyia[...] RuleML+RR (Joint Conference) (5th : 2021 : Leuven, Belgium); Moschoyiannis, Sotiri[...] Cham : Springer, 2021. QA76.9.L63 R85 2021eb \| View e-resource \| Available Online \| Detailed record - Similar records
5.	Functional and constraint logic programming : 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised selected papers [...] WFLP (Workshop) (28th : 2020 : Online); Hanus, Michael, 1959- editor; Sacerdoti Coen[...] Cham, Switzerland : Springer, [2021] QA76.62 \| View e-resource \| Available Online \| Detailed record - Similar records
6.	Logic-Based Program Synthesis and Transformation : 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings /[...] LOPSTR (Symposium) (30th : 2020 : Online); Fernández, Maribel. editor. Cham : Springer, [2021] QA76.63 \| View e-resource \| Available Online \| Detailed record - Similar records
7.	Logic programming : proceedings of the 1997 International Symposium / edited by Jan Małuszyński. Małuszyński, J. (Jan), 1941-; Association for Logic Programming.; International Sy[...] Cambridge, Mass. : MIT Press, ©1997. QA76.63 .L646 1997eb \| View e-resource \| Available Online \| Detailed record - Similar records
8.	Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming / edited by Michael Maher. Joint International Conference and Symposium on Logic Programming (1996 : Bonn, [...] Cambridge, Mass. ; London : MIT, ©1996. QA76.63 L6361996eb \| View e-resource \| Available Online \| Detailed record - Similar records
9.	Logic programming : proceedings of the 1999 International Conference on Logic Programming / edited by Danny De Schreye. International Conference on Logic Programming (16th : 1999 : Las Cruces, N.M.); De[...] Cambridge, Mass. ; London : MIT, 2000. QA76.63 .I56 1999eb \| View e-resource \| Available Online \| Detailed record - Similar records
10.	Logic programming : proceedings of the Tenth International Conference on Logic Programming / edited by David S. Warren. International Conference on Logic Programming (10th : 1993 : Budapest, Hungary); W[...] Cambridge, Mass. : MIT Press, ©1993. QA76.63 .I564 1993eb \| View e-resource \| Available Online \| Detailed record - Similar records

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.