Title: Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, Author: Ivan Lanese
Title: Reversible Computation: 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings, Author: Shigeru Yamashita
Title: Inductive Logic Programming: 7th International Workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997, Proceedings / Edition 1, Author: Nada Lavrac
Title: Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm: 8th International Workshop, FPL'98 Tallinn, Estonia, August 31 - September 3, 1998 Proceedings / Edition 1, Author: Reiner W. Hartenstein
Title: Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings, Author: Michael Gelfond
Title: Rapid Prototyping of Digital Systems / Edition 1, Author: James O. Hamblen
Title: Probabilistic Inductive Logic Programming, Author: Luc De Raedt
Title: Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings / Edition 1, Author: Chitta Baral
Title: Nonmonotonic and Inductive Logic: Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings / Edition 1, Author: Gerhard Brewka
Title: Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings / Edition 1, Author: Aart Middeldorp
Title: Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers, Author: Hans Kleine Buening
Title: Symbolic Model Checking, Author: Kenneth L. McMillan
Title: Parallel Execution of Logic Programs, Author: John S. Conery
Title: Inductive Logic Programming: 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers, Author: Stan Matwin
Title: Digital Logic for Computing, Author: John Seiffertt
Title: Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings / Edition 1, Author: Maurizio Proietti
Title: A Tight, Practical Integration of Relations and Functions / Edition 1, Author: Harold Boley
Title: Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings / Edition 1, Author: Michael Hanus
Title: ALPUK92: Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992, Author: Krysia Broda
Title: Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings, Author: Michel Parigot

Pagination Links