By Gispert Joan   Torrens Antoni   in Soft Computing

ISSN:1432-7643|12|10|941-954

Springer Publishing Company ‎(2008)‎

Access to resources Favorite 15.877959

By Gispert Joan   Torrens Antoni   in Studia Logica

ISSN:0039-3215|81|3|311-324

Springer Publishing Company ‎(2005)‎

Access to resources Favorite 15.877959

By Font Josep   Gil Àngel   Torrens Antoni   Verdú Ventura   in Archive for Mathematical Logic

ISSN:0933-5846|45|7|839-868

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 9.923724