Uli Fahrenberg, Peter Jipsen, Michael Winter. <br/><br/>
Relational and Algebraic Methods in Computer Science : 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26-29, 2020, Proceedings 

 - Cham  Springer  2020 
<br/><br/><label>ISBN: </label>9783030435202 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematical logic. Artificial intelligence. Computers. Computer logic. Numerical analysis. Mathematical Logic and Formal Languages. Artificial Intelligence. Information Systems and Communication Service. Logics and Meanings of Programs. Numeric Computing.