Lifting Applied to Proof Complexity
Formale Metadaten
| Titel |
| |
| Alternativer Titel |
| |
| Serientitel | ||
| Anzahl der Teile | 27 | |
| Autor | ||
| Lizenz | CC-Namensnennung - keine kommerzielle Nutzung - keine Bearbeitung 4.0 International: Sie dürfen das Werk bzw. den Inhalt in unveränderter Form zu jedem legalen und nicht-kommerziellen Zweck nutzen, vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen. | |
| Identifikatoren | 10.5446/55829 (DOI) | |
| Herausgeber | ||
| Erscheinungsjahr | 2020 | |
| Sprache | Englisch |
Inhaltliche Metadaten
| Fachgebiet | |
| Genre |