Neurosymbolic Programming
6 authors - Paperback
£60.00
Computer Aided Verification
2 contributors - Paperback
£44.99