Title: Construction of Computational Logics (CCL II) ESPRIT (Basic Research Working Group 22457)
Start Date: 01/09/1996
End Date: 31/10/1998
Leaders: Juan Carlos González Moreno, J.P Jouannaud
Funding Bodies:
European Community
Title: Construction of Computational Logics (CCL) ESPRIT (Basic Research Working Group 6028)
Start Date: 01/07/1992
End Date: 31/10/1992
Leaders: Juan Carlos González Moreno, J.P Jouannaud
Funding Bodies:
European Community
Title: Construction of Computational Logics (CCL) ESPRIT (Basic Research Working Group 6028)
Start Date: 01/07/1992
End Date: 31/10/1992
Leaders: Juan Carlos González Moreno, J.P Jouannaud
Funding Bodies:
European Community
Title: Construction of Computational Logics (CCL II) ESPRIT (Basic Research Working Group 22457)
Start Date: 01/09/1996
End Date: 31/10/1998
Leaders: Juan Carlos González Moreno, J.P Jouannaud
Funding Bodies:
European Community
Title: Construction of Computational Logics (CCL II) ESPRIT (Basic Research Working Group 22457)
Start Date: 01/09/1996
End Date: 31/10/1998
Leaders: Juan Carlos González Moreno, J.P Jouannaud
Funding Bodies:
European Community
Title: Construction of Computational Logics (CCL) ESPRIT (Basic Research Working Group 6028)
Start Date: 01/07/1992
End Date: 31/10/1992
Leaders: Juan Carlos González Moreno, J.P Jouannaud
Funding Bodies:
European Community
Title: Construction of Computational Logics (CCL II) ESPRIT (Basic Research Working Group 22457)
Start Date: 01/09/1996
End Date: 31/10/1998
Leaders: Juan Carlos González Moreno, J.P Jouannaud
Funding Bodies:
European Community
Title: Construction of Computational Logics (CCL) ESPRIT (Basic Research Working Group 6028)
Start Date: 01/07/1992
End Date: 31/10/1992
Leaders: Juan Carlos González Moreno, J.P Jouannaud
Funding Bodies:
European Community
Title: Construction of Computational Logics (CCL II) ESPRIT (Basic Research Working Group 22457)
Start Date: 01/09/1996
End Date: 31/10/1998
Leaders: Juan Carlos González Moreno, J.P Jouannaud
Funding Bodies:
European Community
Title: Construction of Computational Logics (CCL) ESPRIT (Basic Research Working Group 6028)
Start Date: 01/07/1992
End Date: 31/10/1992
Leaders: Juan Carlos González Moreno, J.P Jouannaud
Funding Bodies:
European Community
Title: Construction of Computational Logics (CCL) ESPRIT (Basic Research Working Group 6028)
Start Date: 01/07/1992
End Date: 31/10/1992
Leaders: Juan Carlos González Moreno, J.P Jouannaud
Funding Bodies:
European Community
Title: Construction of Computational Logics (CCL II) ESPRIT (Basic Research Working Group 22457)
Start Date: 01/09/1996
End Date: 31/10/1998
Leaders: Juan Carlos González Moreno, J.P Jouannaud
Funding Bodies:
European Community