Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
nenofar [2009/02/25 21:36]
vkuncak
nenofar [2009/02/25 21:37] (current)
vkuncak
Line 1: Line 1:
 ====== Nenofar = Negation Normal Form Automated Reasoner ====== ====== Nenofar = Negation Normal Form Automated Reasoner ======
  
-{{{{nenufar.jpg|Nenuphar = Water Lily}}+{{{{nenufar.jpg?200|Nenuphar = Water Lily}}
  
 Available downloads: Available downloads:
 
nenofar.txt · Last modified: 2009/02/25 21:37 by vkuncak
 
© EPFL 2018 - Legal notice