Author/Creator: Finger, Marcelo - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Finger, Marcelo

1. Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability. (17th October 2022)

Authors:: Preto, Sandro; Finger, Marcelo
Journal:: Mathematical structures in computer science
Issue:: Volume 32:Number 9(2022)
Page Start:: 1119
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Efficient representation of piecewise linear functions into Łukasiewicz logic modulo satisfiability. (17th October 2022)

Authors:: Preto, Sandro; Finger, Marcelo
Journal:: Mathematical structures in computer science
Issue:: Volume 32:Number 9(2022)
Page Start:: 1119
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. (2017)

Editors:: Dixon, Clare; Finger, Marcelo
Other Names:: FroCoS (Symposium), 11th
Record Type:: Book
Extent:: 1 online resource (x, 351 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗